Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

2/5
Primera publicación
2013
Editores
MIT Press
Idioma
English

Libros

Libros similares