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
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£57.26
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
£63.55
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
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£66.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
£69.15
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
£69.15
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.35
Delivery from £6.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
£88.34
Delivery from £0.99
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - Details
▶ Finding you the best price!
We have found 8 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: £57.26
- The cheapest price is offered by Amazon-marketplace.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 €£57.26to €£88.34 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 In stock working days offered by Amazon-marketplace.co.uk .
Similar products
£84.00
Amazon-marketplace.co.uk
Free Delivery
£15.87
amazon.co.uk
Free Delivery
£76.68
Amazon-marketplace.co.uk
Free Delivery
Certified Vibe Coder - Generative AI Creative Programming Zip Hoodie
£36.13
amazon.co.uk
Free Delivery
Certified Vibe Coder - Generative AI Creative Programming Zip Hoodie
£36.13
amazon.co.uk
Free Delivery
Cheapest offer
Pages: 436, Paperback, MIT Press
£57.26
In stock
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).