Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

2/5
Erstmals veröffentlicht
2013
Verlage
MIT Press
Sprache
English

Bücher

Ähnliche Bücher