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

Podrobná bibliografie
Hlavní autor:	Chlipala, Adam 1981- (Autor)
Médium:	Electronic Resource
Jazyk:	English
Vydáno:	Cambridge, Massachusetts The MIT Press [2013]
Témata:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
On-line přístup:	Click here to access thru EZproxy Click here to access