Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by YvesBertot (Author), PierreCastéran (Author), C . Paulin - Mohring (Foreword), G . Huet (Foreword)

• New

  Hardcover
  2004

  $147.27

  A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.