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 offers£ 29.67
-
Model Checking (Cyber Physical Systems Series)
Jr., Edmund M. Clark; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Item prices starting from
View 10 offers£ 47.01
-
Decision Procedures
Kroening, Daniel; Strichman, Ofer
Item prices starting from
View 6 offers£ 54.26
Also find
Used
