Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Cheapest Total Price
Usually dispatched within 13 to 14 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£24.75
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£26.10
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£26.10
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Usually dispatched within 11 to 12 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£27.19
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Usually dispatched within 10 to 11 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£27.45
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
£28.05
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£29.18
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
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
£33.05
Free Delivery
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Details
▶ Finding you the best price!
We have found 9 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: £24.75
- 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 €£24.75to €£33.05 with a total of 9 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
£72.58
Amazon-marketplace.co.uk
Free Delivery
£32.19
amazon.co.uk
Free Delivery
£57.26
Amazon-marketplace.co.uk
Free Delivery
Introduction to Quantum Mechanics
£54.99
waterstones.com
Free Delivery
A Modern Introduction to Classical Electrodynamics
£34.99
waterstones.com
Free Delivery
Cheapest offer
Pages: 175, Edition: 1st ed., Paperback, Apress
£24.75
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).