Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

2/5
Eerste druk
2013
Uitgevers
MIT Press
Taal
English

Boeken

Vergelijkbare boeken