Helmut Veith - Böcker

Visar alla böcker från författaren Helmut Veith.
7 produkter
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 039 kr

Skickas inom 7-10 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 979 kr

Skickas inom 7-10 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 7-10 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 459 kr

Skickas inom 7-10 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 7-10 vardagar
Natasha Sharygina, Helmut Veith - Computer Aided Verification, Häftad

Computer Aided Verification

Av Natasha Sharygina, Helmut Veith

Häftad, Engelska, 2013

1 459 kr

Skickas inom 7-10 vardagar