cliff jones u a (9 risultati)

Taschenbuch. Condizione: Neu. Symposium on Real-Time and Hybrid Systems | Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday | Cliff Jones (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2018 | Springer | EAN 9783030014605 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Formal Methods and Hybrid Real-Time Systems | Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | Cliff B. Jones (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540752202 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Theoretical Aspects of Computing - ICTAC 2007 | 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | Cliff B. Jones (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540752905 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Methods, Models and Tools for Fault Tolerance | Michael Butler (u. a.) | Taschenbuch | viii | Englisch | 2009 | Springer | EAN 9783642008665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. VDM '87. VDM - A Formal Method at Work | VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xi | Englisch | 1987 | Springer | EAN 9783540176541 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. 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 (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2005 | Springer | EAN 9783540258131 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. FM 2014: Formal Methods | 19th International Symposium, Singapore, May 12-16, 2014. Proceedings | Cliff Jones (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319064093 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. FME '97 Industrial Applications and Strengthened Foundations of Formal Methods | 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings | John Fitzgerald (u. a.) | Taschenbuch | xiv | Englisch | 1997 | Springer | EAN 9783540635338 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Reflections on the Work of C.A.R. Hoare | Cliff B. Jones (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9781447161523 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.