کتاب های Daniel Kroening
![Decision Procedures: An Algorithmic Point of View](http://cdn.ketabkoo.com/covers/0/48724-n.jpg)
Decision Procedures: An Algorithmic Point of View
Daniel Kroening, Ofer Strichman, 2008![Decision procedures : an algorithmic point of view](http://cdn.ketabkoo.com/covers/3/392091-n.jpg)
Decision procedures : an algorithmic point of view
Daniel Kroening, 2008![Decision Procedures: An Algorithmic Point of View](http://cdn.ketabkoo.com/covers/10/1030965-n.jpg)
Decision Procedures: An Algorithmic Point of View
Daniel Kroening, Ofer Strichman (auth.), 2016![Decision Procedures: An Algorithmic Point of View](http://cdn.ketabkoo.com/covers/10/1075533-n.jpg)
Decision Procedures: An Algorithmic Point of View
Daniel Kroening, Ofer Strichman, 2016![Model Checking (Cyber Physical Systems Series)](http://cdn.ketabkoo.com/covers/15/1506001-n.jpg)