Helmut Veith
Articles populaires de Helmut Veith
Afficher toutes les offres-
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Prix des articles à partir de
Afficher les 9 offresEUR 54,56
-
25 Years of Model Checking: History, Achievements, Perspectives
Prix des articles à partir de
Afficher les 11 offresEUR 26,72
-
Handbook of Model Checking
Prix des articles à partir de
Afficher les 15 offresEUR 128,94
Rechercher également
Neuf -
Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Prix des articles à partir de
Afficher les 12 offresEUR 98,58
