A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Adam Chlipala (1981-....)
Documents disponibles écrits par cet auteur
Affiner la rechercheCertified programming with dependent types / Adam Chlipala
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21812 68C448 imprimé / autre CRDM 68/INFORMATIQUE Disponible
