Add this copy of Interactive Theorem Proving and Program Development to cart. $72.00, like new condition, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 2004 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
500 pp., hardcover, fine. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Interactive Theorem Proving and Program Development to cart. $76.58, like new condition, Sold by BooksRun rated 5.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 2004 by Springer.
Add this copy of Interactive Theorem Proving and Program Development to cart. $85.00, like new condition, Sold by Eve's Book Garden rated 5.0 out of 5 stars, ships from ALBANY, CA, UNITED STATES, published 2004 by Springer.
Add this copy of Interactive Theorem Proving and Program Development: to cart. $112.72, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2004 by Springer.