Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Hardcover, 292 Pages, Published 2000, 1st Edition
List Price: $249.00
ISBN-10: 0-7923-7744-3 (0792377443)
ISBN-13: 978-0-7923-7744-3 (9780792377443) |  | Add to Wish List | Set Price Alert
|
|
| New & Used Books |
Shipping to United States  , Total Price in U.S. Dollars (change)
Displaying Stores in Any Language (change)
 |
 |
| Store | Condition | Price | + | Ship | = | Total | | |
|
| Amazon Marketplace | Used | $69.96 | + | $3.99 | = | $73.95 | Buy Now | |
|
| Amazon Marketplace
Best Value! | New | $77.40 | + | $3.99 | = | $81.39 | Buy Now | |
|
| Amazon | New | $170.45 | + | $0.00 | = | $170.45 | Buy Now | |
|
|
International currency rates last updated: 11/18/2008 6:40:00 AM | |