The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. Bradley, Zohar Manna (Paperback, 2010)


OUR TOP PICK

$163.49

+ $7.50 postage
Quantity
10 available
Condition
Brand new
Sold by
roxy*books (269100)98.6% Positive Feedback
Delivery
Est. 3 Feb - 10 FebFrom United Kingdom
Returns
14 days money back
Buyer pays return postage