Helmut Veith - Böcker

Visar alla böcker från författaren Helmut Veith.
7 produkter
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 - Model Checking, Inbunden

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 219 kr

Skickas inom 11-20 vardagar
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke - Handbook of Model Checking, Häftad

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 029 kr

Skickas inom 10-15 vardagar
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke - Handbook of Model Checking, Inbunden

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke

Inbunden, Engelska, 2018

1 969 kr

Skickas inom 10-15 vardagar
Orna Grumberg, Helmut Veith - 25 Years of Model Checking, Häftad

25 Years of Model Checking

Av Orna Grumberg, Helmut Veith

Häftad, Engelska, 2008

519 kr

Skickas inom 10-15 vardagar
Iliano Cervesato, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

Av Iliano Cervesato, Helmut Veith, Andrei Voronkov

Häftad, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar
Anuj Dawar, Helmut Veith - Computer Science Logic, Häftad

Computer Science Logic

Av Anuj Dawar, Helmut Veith

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar
Natasha Sharygina, Helmut Veith - Computer Aided Verification, Häftad

Computer Aided Verification

Av Natasha Sharygina, Helmut Veith

Häftad, Engelska, 2013

1 449 kr

Skickas inom 10-15 vardagar