Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Cliff B. Jones 26 träffar

Titel Författare År Språk
1 Structure for dependability - computer-based systems from an interdisciplinary perspective 2006 Engelska
2 Formal specification and software development Dines Bjørner cop. 1982 Engelska
3 Software development - a rigorous approach Cliff B. Jones 1980 Engelska
4 Programming languages and their definition Hans Bekič 1984 Engelska
5 The Vienna development method - the meta-language 1978 Engelska
6 Communicating Sequential Processes. The First 25 Years - Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers Ali E. Abdallah 2005 Engelska
7 Communicating Sequential Processes - The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 2004 : Revised Invited Papers 2005 Engelska
8 FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe 1997 Engelska
9-10 Theoretical Aspects of Computing ICTAC 2007 (flera utgåvor) Cliff B. Jones 2007 Engelska
11 Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective electronic resource Denis. Besnard 2006 Engelska
12 Formal Methods and Hybrid Real-Time Systems - Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays Cliff B. Jones 2007 Engelska
13 Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday Cliff B. Jones 2011 Engelska
14 Reflections on the Work of C.A.R. Hoare A.W. Roscoe 2010 Engelska
15 Communicating Sequential Processes: The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : Revised Invited Papers (Lecture notes in computer science, Festschrift 3525) Ali E. Abdallah 2005 Okänt
16 Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cliff B. Jones 2007 Okänt
17 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings International Symposium of Formal Methods Europe International Symposium of Formal Methods Europe 1997 Engelska
18 Case studies in systematic software development 1990 Engelska
19 Methods, Models and Tools for Fault Tolerance Michael Butler 2009 Okänt
20 Theories of Programming : The Life and Works and Sir Tony Hoare Cliff B. Jones uuuu-uuuu Okänt

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.