EbookNetworking
Categories
Popular
New Books
Deals
Authors
Publishers
Search
+ Add Book
☰
Categories
+ Add Book
Popular
New Books
Deals
Authors
Publishers
Search
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
By:
Daniel Kroening, Ofer Strichman
View Details
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…
By:
Daniel Kroening, Ofer Strichman
View Details
