Books by Ofer Strichman
No products found matching the selection.
-20%
Decision Procedures: An Algorithmic Point of View
Ofer Strichman, Daniel Kroening
€105.58
€131.98
-20% with code BOOKS
In stock at our supplier
-20%
Decision Procedures: An Algorithmic Point of View
Ofer Strichman, Daniel Kroening
€79.18
€98.98
-20% with code BOOKS
In stock at our supplier