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. Jones 37 träffar

Titel Författare År Språk
1 5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, Organised by BCS-FACS, London, 8-10 January 1992 1992 Okänt
2 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
3 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
4 Programming languages and their definition Hans Bekič 1984 Engelska
5 Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective electronic resource Denis. Besnard 2006 Engelska
6 Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective Denis Besnard 2006 Okänt
7 Formal specification and software development Dines Bjørner cop. 1982 Engelska
8 Methods, Models and Tools for Fault Tolerance Michael. Butler 2009 Engelska
9 Rigorous Engineering of Fault-Tolerant Systems electronic resource Michael. Butler 2006 Engelska
10 Case studies in systematic software development 1990 Engelska
11 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones 2007 Okänt
12 Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cliff B. Jones 2007 Okänt
13 FM 2014: Formal Methods Cliff Jones 2014 Okänt
14 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
15 FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe 1997 Engelska
16 Object Orientation with Parallelism and Persistence Burkhard Freitag 1996 Okänt
17 Essays in computing science C. A. R. (Charles Antony Richard) Hoare 1989 Engelska
18 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
19 Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday Cliff B. Jones 2011 Engelska
20 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

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.