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)

Gille Barthe, Gilles Barthe, Frank S. de Boer - Formal Methods for Open Object-Based Distributed Systems

Gille Barthe, Gilles Barthe, Frank S. de Boer Formal Methods for Open Object-Based Distributed Systems English 29.01.2013 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)

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

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

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

Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs

Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.01.2009 Hardback Fr. 135.00 6-7 weeks

Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs

Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.12.2013 Paperback / Softback Fr. 97.00 6-7 weeks