Books by Adam Chlipala
No products found matching the selection.
-20%
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
€81.12
€101.40
-20% with code BOOKS
In stock at our supplier