Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
ISBN: 3540208542
EAN13: 9783540208549
Language: English
Publication Date: May 14, 2004
Pages: 500
Dimensions: 1.3" H x 9.4" L x 6.3" W
Weight: 1.85 lbs.
Format: Hardcover
Publisher:

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

Select Format Format: Hardcover Select Conditions Condition: New

Selected

Format: Hardcover

Condition: New

$127.60
Quantity
62 Available

Select Conditions
  • New $127.60 Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Book Overview

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 programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Frequently Asked Questions About Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

What should you read after Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions Book? Here is a list of books to read if you read and loved Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Book Reviews (0)

0
  |   0  reviews
Did you read Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions? Please provide your feedback and rating to help other readers.
Write Review
Captcha

No customer reviews for the moment.