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

Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods

Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

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

Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation

Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks

Bernhard Steffen - Bridging the Gap Between AI and Reality

Bernhard Steffen Bridging the Gap Between AI and Reality English 20.09.2025 Paperback / Softback Fr. 56.90 6-7 weeks