IT eBooks
Download, Read, Use

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant


Certified Programming with Dependent Types

Subscribe via email


Price Comparison
Reproduction of site books is authorized only for informative purposes and strictly for personal, private use.
Only Direct Download
IT eBooks Group © 2011-2021