Certified programming with dependent types a pragmatic introduction to the Coq proof assistant

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chlipala, Adam (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. u.a. MIT Press 2013
Schlagworte:	Coq (Electronic resource) > Computer programming > Automatic theorem proving > Computer programs > Automatisches Beweisverfahren
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!