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

Laure Petrucci, Sproston, Jeremy Sproston - Formal Modeling and Analysis of Timed Systems

Laure Petrucci, Sproston, Jeremy Sproston Formal Modeling and Analysis of Timed Systems English 08.12.2023 Paperback / Softback Fr. 76.00 1-2 weeks (title will be printed to order)

Luca Bernardinello, Petrucci, Laure Petrucci - Application and Theory of Petri Nets and Concurrency

Luca Bernardinello, Petrucci, Laure Petrucci Application and Theory of Petri Nets and Concurrency English 01.01.2022 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)

Ana Cavalcanti, Laure Petrucci, Cristin Seceleanu, Cristina Seceleanu - Critical Systems: Formal Methods and Automated Verification

Ana Cavalcanti, Laure Petrucci, Cristin Seceleanu, Cristina Seceleanu Critical Systems: Formal Methods and Automated Verification English 01.01.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Serge Haddad, Serge (EDT)/ Kordon Haddad, F Kordon, Fabrice Kordon, Laurent Pautet, Serge Haddad... - Models and Analysis for Distributed Systems

Serge Haddad, Serge (EDT)/ Kordon Haddad, F Kordon, Fabrice Kordon, Laurent Pautet, Serge Haddad... Models and Analysis for Distributed Systems English 02.08.2011 Hardback Fr. 229.00 3-5 weeks (title will be specially ordered)

Serge Haddad, Serge (EDT)/ Kordon Haddad, F Kordon, Fabrice Kordon, Serge Haddad, Fabrice Kordon... - Distibuted Systems

Serge Haddad, Serge (EDT)/ Kordon Haddad, F Kordon, Fabrice Kordon, Serge Haddad, Fabrice Kordon... Distibuted Systems English 02.08.2011 Hardback Fr. 229.00 3-5 weeks (title will be specially ordered)

Fabrice Kordon, HADDAD, Serge Haddad, KORDON Fabrice HADDAD Serge, Fabrice Kordon, Laure Petrucci... - Méthodes formelles pour les systèmes répartis et coopératifs

Fabrice Kordon, HADDAD, Serge Haddad, KORDON Fabrice HADDAD Serge, Fabrice Kordon, Laure Petrucci... Méthodes formelles pour les systèmes répartis et coopératifs French 01.04.2009 Paperback / Softback Sold out