Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

by

Hardcover, 424 pages

Published Dec. 6, 2013 by The MIT Press.

ISBN:
978-0-262-02665-9
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

5 editions