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
LanguageEnglish
Published Cambridge, MA : The MIT Press, [2013]
Subjects
Automatic theorem proving > Computer programs.
Computer programming.
Coq (Electronic resource)
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262317870
Physical Description1 online zdroj (xii, 424 pages)

Cover

More Information
Bibliography:Includes bibliographical references (pages [413]-417) and index.
ISBN:9780262317870
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
Physical Description:1 online zdroj (xii, 424 pages)

Similar Items