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: Adam Chlipala
Number of Pages: 437
Amazon Page : https://www.amazon.com/Certified-Programming-Dependent-Types-Introduction/dp/0262026651
Amazon Price : $56.63
Lowest Price : $35.98
Total Offers : 26
Rating: 4.5
Total Reviews: 2
