Treffer: Certified programming with dependent types

Titel:

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala

Beteiligt:

Veröffentlicht:

Cambridge, MA : The MIT Press, 2013

Vertrieb:

Cambridge, Massachusetts : MIT Press

Umfang:

1 online resource (xii, 424 pages)

Format:

E-Book

Sprache:

Englisch

RVK-Notation:

ISBN:

9780262317863 ; 9780262026659 (Sekundärausgabe)

Zusatz-Informationen