Browse editions

Current edition
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions by Pierre Castéran, Yves Bertot

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Pierre Castéran, Yves Bertot

472 pages • first pub 2004 (editions)

nonfiction computer science mathematics informative slow-paced
Other editions (2)
Expand filter menu Filter editions
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions by Yves Bertot

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions

Yves Bertot

472 pages • first pub 2004 (editions)

nonfiction computer science mathematics informative slow-paced
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions by Pierre Castéran, Yves Bertot

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Pierre Castéran, Yves Bertot

472 pages • first pub 2004 (editions)

nonfiction computer science mathematics informative slow-paced