Yves Bertot – författare

Visar alla böcker från författaren Yves Bertot. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   From Semantics to Computer Science

   Essays in Honour of Gilles Kahn

   Av Yves Bertot, Gérard Huet m. fl.

   Inbunden, 2009

   1995 kr

   Lägg i varukorg

   Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the …

2. 

   Interactive Theorem Proving and Program Development

   Coq’Art: The Calculus of Inductive Constructions

   Av Yves Bertot, Pierre Castéran

   Inbunden, 2004

   1316 kr

   Lägg i varukorg

   Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified …

3. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings

   Av Laurent Thery, Christine Paulin m. fl.

   E-bok, 2003

   718 kr

   Lägg i varukorg

4. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

   Av Yves Bertot, Gilles Dowek m. fl.

   Häftad, 1999

   552 kr

   Lägg i varukorg

   This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at …

5. 

   Interactive Theorem Proving and Program Development

   Coq’Art: The Calculus of Inductive Constructions

   Av Yves Bertot, Pierre Castéran

   Häftad, 2010

   934 kr

   Lägg i varukorg

   Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified …

6. 

   Interactive Theorem Proving and Program Development

   Coq’Art: The Calculus of Inductive Constructions

   Av Pierre Casteran, Yves Bertot

   E-bok, 2013

   1214 kr

   Lägg i varukorg

   Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and …