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

Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures

Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures English 12.09.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation

Marco Bernardo, Jane Hillston Formal Methods for Performance Evaluation English 18.05.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing

Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing English 13.04.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems

M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks

Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification

Marco Bernardo, Alessandro Cimatti Formal Methods for Hardware Verification English 15.05.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Marco Bernardo, Pierpaol Degano, Pierpaolo Degano, Gianluigi Zavattaro - Formal Methods for Computational Systems Biology

Marco Bernardo, Pierpaol Degano, Pierpaolo Degano, Gianluigi Zavattaro Formal Methods for Computational Systems Biology English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... - Formal Methods for Executable Software Models

Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... Formal Methods for Executable Software Models English 30.04.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Marc Bernardo, Marco Bernardo, Broch Johnsen, Broch Johnsen, Einar Broch Johnsen - Formal Methods for Multicore Programming

Marc Bernardo, Marco Bernardo, Broch Johnsen, Broch Johnsen, Einar Broch Johnsen Formal Methods for Multicore Programming English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks