Monographie

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Bertot, Yves ; Castéran, Pierre

Type de contenu

• Texte

Titre(s)

• Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Bertot, Yves ; Castéran, Pierre

Autre(s) auteur(s)

• Castéran, Pierre

Editeur, producteur

• Berlin : Springer, 2010

Description matérielle

• XXV-469 p. ; 24 cm

Collection

• Texts in theoretical computer science

ISBN

• 978-3-642-05880-6

Appartient à la collection

• Texts in theoretical computer science

Note sur les bibliographies et les index

• Bibliogr. p. 453-457. Index

Note sur le contenu

• Manuel

Résumé ou extrait

• Sujets : théorie de la preuve - lambda calcul.

Sujet(s)

• informatique : discipline
• langage de programmation
• méthode formelle

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)