The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

ISBN 10: 8184893965 ISBN 13: 9788184893960
Published by Springer (sie), 2010
Language: English
Condition: Used - As new Soft cover
Save for Later

Sold by dsmbooks, Liverpool, United Kingdom

AbeBooks Seller since 28 September 2015

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

View this seller's items

Used - Soft cover

Condition: Used - As new

Price: £ 44.62 Convert Currency
£ 9 shipping within United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket
Save for Later