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

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