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 38 offerteEUR 35,43
-
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,83
-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Prezzi articolo a partire da
Visualizza 6 offerteEUR 63,60
Trova anche
Antichi o usati
