Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
839 kr
Karten Von Mykenai
Inbunden, Tyska, 2025
449 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2025-05-22
- Mått156 x 234 x 6 mm
- Vikt263 g
- FormatInbunden
- SpråkTyska
- Antal sidor58
- FörlagHutson Street Press
- ISBN9781023847803
Tillhör följande 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, 2020
899 kr
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
739 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
739 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
739 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
739 kr
Mathematical Foundations of Advanced Informatics
Bernhard Steffen, Oliver Rüthing, Michael Huth
Häftad, 2019
489 kr
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad, 2019
739 kr
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Tiziana Margaria, Bernhard Steffen
Häftad, 2020
1 239 kr
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Tiziana Margaria, Bernhard Steffen
Häftad, 2020
739 kr
