Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
by Willem-Paul de Roever, Kai Engelhardt
Hardcover, 435 Pages, Published 2001
List Price: $110.00
ISBN-10: 0-521-64170-5 (0521641705)
ISBN-13: 978-0-521-64170-8 (9780521641708) |  | Add to Wish List | Set Price Alert
|
|
| New & Used Books |
Shipping to United States  , Price in U.S. Dollars, Stores in Any Language (change)
 |
 |
| Store | Condition | Price | + | Ship | = | Total | | |
|
| Amazon Marketplace
Best Value! | Used | $55.00 | + | $3.99 | = | $58.99 | Buy Now | |
|
| Amazon | New | $88.40 | + | $0.00 | = | $88.40 | Buy Now | |
|
| Amazon Marketplace
ships from India | New | $88.38 | + | $3.99 | = | $92.37 | Buy Now | |
|
| | |