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
Cheapest Total Price
In stock. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£47.80
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
£58.71
Delivery from £0.99
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
£60.66
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
£60.88
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
£60.91
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
£64.12
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.57
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.57
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: £47.80
- 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 €£47.80to €£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
£86.00
Amazon-marketplace.co.uk
Delivery from £0.99
£80.99
amazon.co.uk
Free Delivery
PCAP Certified Associate in Python Programming Exam: Prepare for and pass the current Python Institute PCAP Exam
£15.85
amazon.co.uk
Free Delivery
£16.38
amazon.co.uk
Free Delivery
Personal Trainer Session Planner: Track Workouts, Progress, and Client Programming: A Practical Planning Journal for Fitness Coaches, Certified Trainers, and Strength Professionals
£11.74
amazon.co.uk
Free Delivery
Cheapest offer
Pages: 436, Paperback, MIT Press
£47.80
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).