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

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

Inbunden, Engelska, 2018

1 969 kr

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

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

Häftad, Engelska, 2008

1 449 kr

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

Häftad, Engelska, 2010

739 kr

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

Häftad, Engelska, 2013

1 449 kr

Skickas inom 10-15 vardagar