Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
2 009 kr
Del i serien Cyber Physical Systems Series
Model Checking
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut
Produktinformation
- Utgivningsdatum2018-12-04
- Mått178 x 229 x 27 mm
- Vikt828 g
- FormatInbunden
- SpråkEngelska
- SerieCyber Physical Systems Series
- Antal sidor424
- Upplaga2
- FörlagMIT Press Ltd
- ISBN9780262038836
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad, 2011
719 kr
Hoppa över listan
Du kanske också är intresserad av
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
2 009 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad, 2011
719 kr
Del 9938
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
Häftad, 2016
719 kr
Partial Order Methods in Verification
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann
Inbunden, 1997
1 959 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmut Veith, Andrei Voronkov
Häftad, 2008
1 429 kr