Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
1 803 kr
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
1 521 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad
556 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
1 521 kr
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
1 803 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke Jr., Andrei Voronkov
Häftad
556 kr
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
Häftad
556 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmut Veith, Andrei Voronkov
Häftad
1 105 kr