کتاب های Ofer Strichman
![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/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![Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings](http://cdn.ketabkoo.com/covers/10/1087238-n.jpg)
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Ofer Strichman, Rachel Tzoref-Brill (eds.), 2017![Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings](http://cdn.ketabkoo.com/covers/11/1107022-n.jpg)