Edmund M. Clarke - Böcker
Visar alla böcker från författaren Edmund M. Clarke.
5 produkter
5 produkter
Model Checking
Av Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstadt) Veith, Edmund M. Clarke
Inbunden, Engelska, 2018
1 119 kr
Skickas inom 11-20 vardagar
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke
Häftad, Engelska, 2020
2 019 kr
Skickas inom 10-15 vardagar
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke
Inbunden, Engelska, 2018
1 959 kr
Skickas inom 10-15 vardagar
Del 531 - Lecture Notes in Computer Science
Computer-Aided Verification
Av Edmund M. Clarke Jr., Robert P. Kurshan, Edmund M. Clarke
Häftad, Engelska, 1991
709 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar