Decision Procedures: An Algorithmic Point of View by Ofer Strichman, Daniel Kroening (Paperback, 2018)

Be the first towrite a review.
Price:
AU $60.00
Free postage
Estimated delivery Mon, 18 Nov - Thu, 21 Nov
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
Every effort has been taken to show any imperfections and/or defects.