Interactive theorem proving and program development [ Livre] : Coq'Art, the calculus of inductive constructions / Bertot Yves ; Casteran Pierre

Langue: Anglais.Publication : Springer, 2004Description : XXV-469 p. ; 25 cmISBN: 3540208542.Collection: Texts in theoretical computer science : an EATCS seriesClassification: F 4 1 Logique mathématiqueRésumé: http://coq.inria.fr.Sujet - Nom commun: Théorèmes -- Démonstration automatique | Logiciels -- Développement
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 BER (Browse shelf) Available F 4 Logique mathématique 00011171
ENS Rennes - Bibliothèque
Magasin (archives)
F 4 1 BER (Browse shelf) Available F 4 1 Logique mathématique 000111711

Bibliogr. Index

http://coq.inria.fr

Powered by Koha