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 4 ofertasEUR 51,11
-
-
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science, 8044)
Precios de los artículos a partir de
Ver 4 ofertasEUR 157,64
Encuentra también
Nuevos
