Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Overall Rating: 2.5 / 5 (average from multiple review sources, as of 8 Feb 2026)
Based on a total of 46,321 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 46,321 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Cheapest Total Price
In stock. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£63.69
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 8 to 9 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£66.35
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£67.21
Delivery from £2.80
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 5 to 6 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£71.92
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£88.94
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 8 to 9 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£89.81
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£94.65
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£103.81
Free Delivery
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£103.81
Free Delivery
- 1
- 2
- next page
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) - Details
▶ Finding you the best price!
We have found 9 prices for Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) - Price Information
- Cheapest price: £63.69
- The cheapest price is offered by amazon.co.uk . You can order the product there.
- The price range for the product Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) is €£63.69to €£103.81 with a total of 9 offers.
- Payment methods: The online shop amazon.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is In stock. Express Delivery available with Amazon Prime. working days offered by amazon.co.uk .
Similar products
£63.14
Amazon-marketplace.co.uk
Free Delivery
Cheapest offer
Pages: 497, Edition: 2004, Hardcover, Springer
£63.69
In stock. Express Delivery available with Amazon Prime.
amazon.co.uk
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).