Helmut Veith – författare

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

6 produkter

Kategorier

6 produkter

Handbook of Model Checking
AvEdmund M. Clarke Jr.,Thomas A. Henzingerm. fl.
Inbunden, Engelska, 2018
2 029 kr
Skickas inom 10-15 vardagar
25 Years of Model Checking
History, Achievements, Perspectives
AvOrna Grumberg,Helmut Veith
Häftad, Engelska, 2008
519 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 459 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
729 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 459 kr
Skickas inom 10-15 vardagar
Model Checking
AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut