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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | L41682 | 00041682 | [available] |