Edmund M. Clarke Jr. - Böcker
Visar alla böcker från författaren Edmund M. Clarke Jr..
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 079 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 039 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 979 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
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar