Helmut (Technische Universitaet Darmstadt) Veith - Böcker
Visar alla böcker från författaren Helmut (Technische Universitaet Darmstadt) Veith.
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