Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
647 kr
Karten Von Mykenai
Häftad, Tyska, 2025
187 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, 2020
711 kr
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
571 kr
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Bernhard Steffen, Tiziana Margaria
E-bok
2018739 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
571 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Bernhard Steffen, Tiziana Margaria
E-bok
2018739 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
571 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Bernhard Steffen, Tiziana Margaria
E-bok
2018732 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad, 2018
571 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Bernhard Steffen, Tiziana Margaria
E-bok
2018739 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
- 10% rabatt på allt
Del 11
- Signerad!
Del 3
- 10% rabatt på allt
Del 3
- -30%
- 10% rabatt på allt
- 10% rabatt på allt
- 10% rabatt på allt
Del 9
- -19%