Daniel Kroening
Popular items by Daniel Kroening
View all offers-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Item prices starting from
View 38 offersUS$ 38.44
-
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Item prices starting from
View 8 offersUS$ 59.49
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Item prices starting from
View 6 offersUS$ 68.98
Also find
Used
