Helmut Veith
Artículos populares por Helmut Veith
Ver todas las ofertas-
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Precios de los artículos a partir de
Ver 9 ofertasEUR 54,48
-
25 Years of Model Checking: History, Achievements, Perspectives: 5000 (Lecture Notes in Computer Science, 5000)
Precios de los artículos a partir de
Ver 11 ofertasEUR 26,69
-
Handbook of Model Checking
Precios de los artículos a partir de
Ver 8 ofertasEUR 128,76
Encuentra también
Nuevos -
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Precios de los artículos a partir de
Ver 12 ofertasEUR 98,45
