Helmut Veith – författare
Visar alla böcker från författaren Helmut Veith.
6 produkter
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
Inbunden, 2018
2059 kr
Lägg i varukorg
25 Years of Model Checking
History, Achievements, Perspectives
Av Orna Grumberg, Helmut Veith
Häftad, 2008
519 kr
Lägg i varukorg
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, 2008
1469 kr
Lägg i varukorg
Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Häftad, 2010
739 kr
Lägg i varukorg
Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Av Natasha Sharygina, Helmut Veith
Häftad, 2013
1469 kr
Lägg i varukorg