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

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

Amazon Price History

This is our record of Amazon price changes for Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (0262026651) since we began monitoring it.

Price Type Lowest Ever Highest Ever Current + Average
Amazon (Jun 17, 2026) (Jun 17, 2026) 0,00 € (Jun 17, 2026)

0,00 €

Amazon Price
Jun 17, 2026 08:44 AM

Your Amazon Price Watches

We'll notify you when the price drops to your desired price.

Watch Price