Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
1 837 kr
Model Checking
AvEdmund M. Clarke Jr.,Orna Grumberg
Inbunden, Engelska, 2018
Del i serien Cyber Physical Systems Series
726 kr
Tillfälligt slut
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
1 558 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad, 2011
561 kr
Hoppa över listan
Du kanske också är intresserad av
Model Checking, second edition
Helmut Veith, Doron Peled, Daniel Kroening, Orna Grumberg, Jr. Edmund M. Clarke
E-bok
2018948 kr
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
1 558 kr
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
1 837 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad, 2011
561 kr
Del 9938
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
Häftad, 2016
561 kr