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 5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, Organised by BCS-FACS, London, 8-10 January 1992 1992 Okänt
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 Ali E. Abdallah 2005 Engelska
4 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
5 Programming languages and their definition Hans Bekič 1984 Engelska
6 Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective electronic resource Denis. Besnard 2006 Engelska
7 Formal specification and software development Dines Bjørner cop. 1982 Engelska
8 Case studies in systematic software development 1990 Engelska
9 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones 2007 Okänt
10 Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cliff B. Jones 2007 Okänt
11 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
12 FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe 1997 Engelska
13 Object Orientation with Parallelism and Persistence Burkhard Freitag 1996 Okänt
14 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
15 Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday Cliff B. Jones 2011 Engelska
16 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
17 Software development - a rigorous approach Cliff B. Jones 1980 Engelska
18-19 Theoretical Aspects of Computing ICTAC 2007 (flera utgåvor) Cliff B. Jones 2007 Engelska
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.