En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions

Bookmarks Report an error
Ouvrage

Bertot, Yves (Principal) ; Castéran, Pierre (Co-auteur) ; Huet, Gérard (Foreword) ; Paulin-Mohring, Christine (Foreword)

Springer

2010

xxv; 469 p.

978-3-642-05880-6

00041682

68T15 ; 03B15 ; 03B35 ; 03B70 ; 68N18 ; 68Q60 ; 68-01

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]
Bookmarks Report an error