Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Overall Rating: 1.5 / 5 (average from multiple review sources, as of 24 Jan 2026)
Based on a total of 32,786 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 32,786 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
£45.31
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 8 to 9 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£53.63
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£61.49
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 2 to 3 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£63.67
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 3 to 4 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£63.75
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£66.87
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£66.87
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£69.06
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£82.29
Delivery from £6.99
- 1
- 2
- next page
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - Details
▶ Finding you the best price!
We have found 9 prices for Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - Price Information
- Cheapest price: £45.31
- The cheapest price is offered by amazon.co.uk . You can order the product there.
- The price range for the product Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant is €£45.31to €£82.29 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
£80.08
Amazon-marketplace.co.uk
Free Delivery
£81.51
Amazon-marketplace.co.uk
Free Delivery
Conquer the FANUC Certified Applied Robot Operator with ROBOGUIDE Exam: Study Guide Covering Setup, Frames, Simulation, Programming, and System ... the Robotics Certification Exams Series)
£19.03
amazon.co.uk
Free Delivery
Adept Technology Digital Programmable Room Thermostat - Electric or Wet Underfloor Heating Systems, 7 Days Programming Thermostat, Safety On/Off Power Switch, CE Certified, 86mm x 86mm x 16mm, Black
£27.99
Amazon-marketplace.co.uk
Free Delivery
Conquer the FANUC Certified Robot Technician Exam: Study Guide Covering Safety Devices, Programming, iRVision, File Control, and System ... the Robotics Certification Exams Series)
£18.99
amazon.co.uk
Free Delivery
Cheapest offer
Pages: 436, Paperback, MIT Press
£45.31
In stock. Express Delivery available with Amazon Prime.
amazon.co.uk
How well did the information meet your expectations and assist you further?
Not at all
Neutral
Very much
Your responses remain anonymous and are used solely to improve our website. No personal data will be stored or shared with third parties.
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).