Pierre Castéran – författare
Visar alla böcker från författaren Pierre Castéran. Handla med fri frakt och snabb leverans.
3 produkter
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 …
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 …
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 …
