Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
647 kr
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Engelska, 2023
648 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
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
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad, 2019
572 kr
Del 13047
Del 13487
