Titre :	Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Type de document :	texte imprimé
Auteurs :	Adam Chlipala (1981-....), Auteur
Editeur :	Cambridge (Mass.) : The MIT Press
Année de publication :	cop. 2013
Importance :	1 vol. (XII-424 p.)
Présentation :	couv. ill. en coul.
Format :	24 cm
ISBN/ISSN/EAN :	978-0-262-02665-9
Langues :	Anglais
Catégories :	68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)
Mots-clés :	computer science  Coq
Index. décimale :	68C Monographie

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant [texte imprimé] / Adam Chlipala (1981-....), Auteur . - Cambridge (Mass.) : The MIT Press, cop. 2013 . - 1 vol. (XII-424 p.) : couv. ill. en coul. ; 24 cm.
ISBN : 978-0-262-02665-9
Langues : Anglais

Catégories :	68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)
Mots-clés :	computer science  Coq
Index. décimale :	68C Monographie