Home / Authors / Daniel Kroening, Ofer Strichman

Books by Daniel Kroening, Ofer Strichman

All books by this author

3 books found
Decision Procedures : An Algorithmic Point of View
Decision Procedures : An Algorithmic Point of View
By: Daniel Kroening, Ofer Strichman
View Details
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in…
By: Daniel Kroening, Ofer Strichman
View Details
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in…
By: Daniel Kroening, Ofer Strichman
View Details