Tools and Algorithms for the Construction and Analysis of Systems
AvBernhard Steffen,Fabrice Kordon
Inbunden, Engelska, 2020
695 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen
Häftad
557 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria, Bernhard Steffen
Häftad
557 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen
Häftad
557 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad
557 kr
Mathematical Foundations of Advanced Informatics
Bernhard Steffen, Oliver Rüthing, Michael Huth
Häftad
370 kr
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
557 kr
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Tiziana Margaria, Bernhard Steffen
Häftad
940 kr
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Tiziana Margaria, Bernhard Steffen
Häftad
556 kr
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad
625 kr
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
557 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Häftad
556 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Häftad
557 kr
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijs
631 kr
Del 13487
Del 9681