Hoppa till sidans huvudinnehåll

Helmut Veith – författare

Visar alla böcker från författaren Helmut Veith.
6 produkter
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Inbunden

Handbook of Model Checking

AvEdmund M. Clarke Jr.,Thomas A. Henzingerm. fl.

Inbunden, Engelska, 2018

2 019 kr

Skickas inom 10-15 vardagar

Orna Grumberg, Helmut Veith - 25 Years of Model Checking, Häftad

25 Years of Model Checking

History, Achievements, Perspectives

AvOrna Grumberg,Helmut Veith

Häftad, Engelska, 2008

509 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

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

AvIliano Cervesato,Helmut Veithm. fl.

Häftad, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar

Anuj Dawar, Helmut Veith - Computer Science Logic, Häftad

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

AvAnuj Dawar,Helmut Veith

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Natasha Sharygina, Helmut Veith - Computer Aided Verification, Häftad

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

AvNatasha Sharygina,Helmut Veith

Häftad, Engelska, 2013

1 449 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut