Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

by

436 pages

English language

Published Nov. 17, 2022 by MIT Press.

ISBN:
978-0-262-54574-7
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

5 editions