Get Access ☇ Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press).
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
by Adam Chlipala
Binding: Hardcover
Author:
Number of Pages:
Amazon Page : https://www.amazon.com/Certified-Programming-Dependent-Types-Introduction/dp/0262026651
Amazon Price : $49.93
Lowest Price :
Total Offers :
Rating: 4.5
Total Reviews: 2
