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

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Tiziana Margaria, Tom Melham - Correct Hardware Design and Verification Methods

Tiziana Margaria, Tom Melham Correct Hardware Design and Verification Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria, Wang Yi Tools and Algorithms for the Construction and Analysis of Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems

Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 31.03.2017 Paperback / Softback Sold out