Hoppa till sidans huvudinnehåll

Helmut Veith - Böcker

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

Model Checking

Av Edmund M. Clarke Jr., Orna Grumberg m. fl

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl

Inbunden, Engelska, 2018

1 909 kr

Skickas inom 10-15 vardagar

25 Years of Model Checking

History, Achievements, Perspectives

Av Orna 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

Av Iliano Cervesato, Helmut Veith m. fl

Häftad, Engelska, 2008

1 439 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

Av Anuj Dawar, Helmut Veith

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Natasha Sharygina, Helmut Veith

Häftad, Engelska, 2013

1 439 kr

Skickas inom 10-15 vardagar