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


OUR TOP PICK

AU $122.00

List price AU $141.99 Save 14%
Quantity
2 available
Condition
Brand new
Sold by
Returns
30 days money back
Buyer pays return postage