Sprache
Thema
Format
Verfügbarkeit
Zurücksetzen Autoren

Suchresultat

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)
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling Englisch 31.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
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
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification Englisch 31.01.2019 Taschenbuch Fr. 70.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. Industrial Practice
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Englisch 31.01.2019 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. Distributed Systems
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Englisch 31.01.2019 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
Anne Remke, Steffen, Bernhard Steffen - Formal Methods for Industrial Critical Systems
Anne Remke, Steffen, Bernhard Steffen Formal Methods for Industrial Critical Systems Englisch 04.09.2025 Taschenbuch Fr. 82.00 6-7 Wochen