Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 14.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul de Roever Formal Methods for Components and Objects English 29.01.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan - Formal Techniques for Distributed Objects, Components, and Systems

Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan Formal Techniques for Distributed Objects, Components, and Systems English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Susann Graf, Susanne Graf, Schwartzbach, Schwartzbach, Michael Schwartzbach - Tools and Algorithms for the Construction and Analysis of Systems

Susann Graf, Susanne Graf, Schwartzbach, Schwartzbach, Michael Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems English 14.02.2003 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks

Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis

Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002

Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Susanne Graf, Laurent Mounier - Model Checking Software

Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks

Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?

Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks

Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such

Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such English 05.10.2024 Paperback / Softback Fr. 70.00 6-7 weeks