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

Bibliografiska uppgifter
Huvudupphovsman:	Chlipala, Adam 1981- (Författare, medförfattare)
Materialtyp:	Electronic Resource
Språk:	English
Publicerad:	Cambridge, Massachusetts The MIT Press [2013]
Ämnen:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
Länkar:	Click here to access thru EZproxy Click here to access