Français
Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions
Ouvrage
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
Language : English
EAN13 : 9783642058806
ISSN : 1862-4499
Collation : 23 cm#broch.#index
Series : Texts in theoretical computer science
Location : Ouvrage RdC (BERT)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | L41682 | 00041682 | [available] |
