Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions
Bertot, Yves (Principal) ; Castéran, Pierre (Co-auteur) ; Huet, Gérard (Foreword) ; Paulin-Mohring, Christine (Foreword)
2010
xxv; 469 p.
978-3-642-05880-6
00041682
Coq # vérification de programme # assistant de preuve # démonstration automatique
Langue : Anglais
EAN13 : 9783642058806
ISSN : 1862-4499
Collation : 23 cm#broch.#index
Collection : Texts in theoretical computer science
Localisation : Ouvrage RdC (BERT)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | L41682 | 00041682 | [disponible] |