The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R.; Manna, Zohar

  • 3.87 out of 5 stars
    15 ratings by Goodreads
ISBN 10: 3540741127 ISBN 13: 9783540741121
Published by Springer, 2007
Language: English
New Condition: New Hardcover

From Ria Christie Collections, Uxbridge, United Kingdom

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

AbeBooks Seller since March 25, 2015

View this seller's items


New - Hardcover

Price: US$ 92.54 Convert Currency
US$ 16.21 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket