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

Bibliographische Detailangaben
1. Verfasser:	Chlipala, Adam 1981- (VerfasserIn)
Format:	Electronic Resource
Sprache:	English
Veröffentlicht:	Cambridge, Massachusetts The MIT Press [2013]
Schlagworte:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
Online Zugang:	Click here to access thru EZproxy Click here to access