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 de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul de Roever... - Concurrency Verification

Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul de Roever... Concurrency Verification English 26.01.2012 Paperback / Softback Fr. 158.40 2-3 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 de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... - Concurrency Verification

Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... Concurrency Verification English 26.11.2001 Hardback Fr. 379.20 1-3 weeks (not available at short notice)

Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul de Roever, Grzegorz Rozenberg - Current Trends in Concurrency

Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul de Roever, Grzegorz Rozenberg Current Trends in Concurrency English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul de Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems

Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul de Roever, Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul de Roever - Compositionality: The Significant Difference

Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul de Roever Compositionality: The Significant Difference English 19.02.2009 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul de Roever, Grzegorz Rozenberg - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul de Roever, Grzegorz Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg - Stepwise Refinement of Distributed Systems

Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg Stepwise Refinement of Distributed Systems English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET '98

de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries, Willem-Paul de Roever Programming Concepts and Methods PROCOMET '98 English 29.06.2009 Hardback Fr. 236.00 2-3 weeks (title will be printed to order)