Edmund M. Clarke (Carnegie Mellon University) Jr. - Böcker
Visar alla böcker från författaren Edmund M. Clarke (Carnegie Mellon University) Jr..
1 produkt
1 produkt
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