Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Cheapest Price
Usually dispatched within 13 to 14 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£23.65
Delivery from £2.80
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Cheapest Total Price
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£26.39
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Cheapest Total Price
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£26.39
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£27.94
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
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.
In stock. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£29.99
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£32.21
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£34.64
Delivery from £0.99
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Usually dispatched within 4 to 5 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£39.64
Free Delivery
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Details
▶ Finding you the best price!
We have found 8 prices for Introduction to Dependent Types with Idris: Encoding Program Proofs in Types. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Price Information
- Cheapest price: £23.65
- The cheapest price is offered by Amazon-marketplace.co.uk . You can order the product there.
- The price range for the product Introduction to Dependent Types with Idris: Encoding Program Proofs in Types is €£23.65to €£39.64 with a total of 8 offers.
- Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is Usually dispatched within 13 to 14 days working days offered by Amazon-marketplace.co.uk .
Similar products
£78.86
Amazon-marketplace.co.uk
Free Delivery
£85.03
Amazon-marketplace.co.uk
Free Delivery
Introduction to the Potential Theory for the Time-Dependent Stokes System (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
£165.00
amazon.co.uk
Free Delivery
£45.31
amazon.co.uk
Free Delivery
Introduction to Homotopy Type Theory
£46.00
Whsmith.co.uk
Free Delivery
Cheapest offer
Pages: 175, Edition: First Edition, Paperback, Apress
£23.65
Usually dispatched within 13 to 14 days
Amazon-marketplace.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).