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

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!

Keine Ergebnisse!