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 Lucky's Textbooks, Dallas, TX, U.S.A.

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

AbeBooks Seller since July 22, 2022

View this seller's items


New - Hardcover

Price: US$ 85.86 Convert Currency
US$ 3.99 shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket