Sprache
Thema
Format
Verfügbarkeit
Zurücksetzen Autoren

Suchresultat

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods Englisch 03.11.2006 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation Englisch 11.09.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2016 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2014 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2014 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Tizian Margaria, Tiziana Margaria, Maik Merten, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tizian Margaria, Tiziana Margaria, Maik Merten, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation Englisch 13.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen