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

Used Offers from

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Overall Rating: 2.4 / 5 (average from multiple review sources, as of 10 Mar 2026)
Based on a total of 46,572 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
£54.69
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
£67.73
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
£67.73
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
£68.24
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

🤖 Ask ChatGPT

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 €£88.28 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

SAS Certified Professional Prep Guide: Advanced Programming Using SAS 9.4
SAS Certified Professional Prep Guide: Advanced Programming Using SAS 9.4
£75.16
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
SAS® Certified Specialist Prep Guide: Base Programming Using SAS® 9.4
SAS® Certified Specialist Prep Guide: Base Programming Using SAS® 9.4
£81.51
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Three-Phase FI Circuit Breaker 30mA Type A & AC 63A 42kW - Automatic Re-Switching - Manual Control and On/Off Time/Day Programming via Tuya Wi-Fi App - RCCB Certified EN 61008-1
Three-Phase FI Circuit Breaker 30mA Type A & AC 63A 42kW - Automatic Re-Switching - Manual Control and On/Off Time/Day Programming via Tuya Wi-Fi App - RCCB Certified EN 61008-1
£87.70
Go to shop
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)
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
Go to shop
amazon.co.uk
Free Delivery
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Cheapest offer

Pages: 436, Paperback, MIT Press
£45.31
In stock. Express Delivery available with Amazon Prime.
amazon.co.uk
Don't forget your voucher code: