Certified Programming with Dependent Types - A Pragmatic Introduction
Best Price R844.00
Buy From
Currently we have no offers for this product.
Related Computer Internet Products
Product Description
Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant (Hardcover) - Adam Product Description
Customer Reviews
Loading