Daniel Kroening
Articoli popolari di Daniel Kroening
Visualizza tutte le offerte-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Prezzi articolo a partire da
Visualizza 36 offerteEUR 35,27
-
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Prezzi articolo a partire da
Visualizza 9 offerteEUR 54,58
-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Prezzi articolo a partire da
Visualizza 5 offerteEUR 63,52
Trova anche
Antichi o usati
