Treffer: Certified Programming with Dependent Types

Titel:

Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant

Beteiligt:

Veröffentlicht:

Cambridge : The MIT Press, 2013

Vertrieb:

The Hague : OAPEN FOUNDATION

Umfang:

1 Online-Ressource (440 p.)

Format:

E-Book

Sprache:

Englisch

RVK-Notation:

ISBN:

9780262317870 ; 9780262026659

Open Access Rechte:

Open Access

Zusatz-Informationen