Orna (Technion) Grumberg - Böcker
Visar alla böcker från författaren Orna (Technion) Grumberg.
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 119 kr
Skickas inom 11-20 vardagar