Hoppa till sidans huvudinnehåll

Helmut Veith - Böcker

Visar alla böcker från författaren Helmut Veith.
6 produkter

Handbook of Model Checking

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

Inbunden, Engelska, 2018

1 969 kr

Skickas inom 10-15 vardagar

25 Years of Model Checking

History, Achievements, Perspectives

AvOrna Grumberg,Helmut Veith

Häftad, Engelska, 2008

509 kr

Skickas inom 10-15 vardagar

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

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

Skickas inom 10-15 vardagar

Model Checking

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

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut