Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Development
Language: English, Genre: Science & Nature, Type: Paper Books
Compare prices and shops
We have found the product in 1 shops, 1 of which are PriceSpy partners and have a direct link to the shop. How we display prices and shops.
Insights
We don't have any insights for this product yet.
Price History
The graph shows the lowest price over time for the variant (such as color or size) that has been the cheapest at each point in time. Shipping and used products are not included. Read more about price history.
Product information
The best price for Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Development right now is $219.00. PriceSpy compares deals and offers from online and local shops.
Basic information
Product name
Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Development
Category
GTIN
09783540208549
