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 (Dec 03, 2025) (Dec 03, 2025) 0,00 € (Dec 03, 2025)

0,00 €

Amazon Price
Dec 03, 2025 01:44 PM

Your Amazon Price Watches

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

Watch Price