Monographie

Certified programming with dependent types [texte imprimé] : a pragmatic introduction to the Coq proof assistant / Adam Chlipala

Type de contenu
  • Texte
Titre(s)
  • Certified programming with dependent types [texte imprimé] : a pragmatic introduction to the Coq proof assistant / Adam Chlipala
Editeur, producteur
  • Cambridge (Mass.) : The MIT Press, 2013
Description matérielle
  • 424 p. ; 24 cm
ISBN
  • 978-2-262-02665-9
Note sur les bibliographies et les index
  • Bibliogr. p. 413-417. Index
Sujet(s)
Sujet - Nom commun
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)