Interactive theorem proving and program development / Bertot, Yves

Public ISBD Titre : Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohrin Type de document : texte imprimé Auteurs : Bertot, Yves ; Castéran, Pierre Editeur : Springer-Verlag Année de publication : 2004 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxv - 469 p. ISBN/ISSN/EAN : 978-3-540-20854-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : type theory  theorem proving  proof assistant  program verification  coq Index. décimale : 68C Monographie Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohrin [texte imprimé] / Bertot, Yves ; Castéran, Pierre . - [S.l.] : Springer-Verlag, 2004 . - xxv - 469 p. . - (Texts in Theoretical Computer Science. An EATCS Series) . ISBN : 978-3-540-20854-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : type theory  theorem proving  proof assistant  program verification  coq Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16714	68C305	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Software engineering 3 / Dines Bjørner

Public ISBD Titre : Software engineering 3 : domains, requirements, and software design Type de document : texte imprimé Auteurs : Dines Bjørner (1937-....), Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxx - 766 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-05941-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : software  Computer science Index. décimale : 68C Monographie Software engineering 3 : domains, requirements, and software design [texte imprimé] / Dines Bjørner (1937-....), Auteur . - [S.l.] : Springer-Verlag, 2006 . - xxx - 766 p. ; 24 cm. - (Texts in Theoretical Computer Science. An EATCS Series) . ISBN : 978-3-642-05941-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : software  Computer science Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21229	LINA/68C407	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1