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

Susanne Graf, Laurent Mounier - Model Checking Software

Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 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. 70.00 6-7 weeks

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

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 - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf Formal Methods for Components and Objects English 19.09.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, 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

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. 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 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks