Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad
629 kr
350 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
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden
699 kr
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Mathematical Foundations of Advanced Informatics
Bernhard Steffen, Oliver Rüthing, Michael Huth
Häftad
366 kr
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
550 kr
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Tiziana Margaria, Bernhard Steffen
Häftad
931 kr
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Hoppa över listan
Du kanske också är intresserad av
Del 15000
Del 10000
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Del 14380
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Del 16032
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Häftad
550 kr