Helmut Veith
Articoli popolari di Helmut Veith
Visualizza tutte le offerte-
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Prezzi articolo a partire da
Visualizza 8 offerteEUR 55,17
-
25 Years of Model Checking: History, Achievements, Perspectives: 5000
Prezzi articolo a partire da
Visualizza 10 offerteEUR 27,02
-
Handbook of Model Checking
Prezzi articolo a partire da
Visualizza 8 offerteEUR 121,84
Trova anche
Nuovi -
Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044
Prezzi articolo a partire da
Visualizza 12 offerteEUR 93,61
