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

Saved in:

Bibliographic Details
Main Author	Chlipala, Adam, 1981-
Format	Electronic eBook
Language	English
Published	Cambridge, MA : The MIT Press, [2013]
Subjects	Automatic theorem proving > Computer programs. Computer programming. Coq (Electronic resource) elektronické knihy electronic books
Online Access	Full text
ISBN	9780262317870
Physical Description	1 online zdroj (xii, 424 pages)

Online Access

Full text