Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions by Bertot, Yves

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions (Hardcover) (ISBN-13: 9783540208549)

Vendor: Yves Bertot
Product type: Books
Format: Hardcover
$119.99
$119.99
$119.99
Subtotal: $119.99
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions by Bertot, Yves

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

$119.99
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions by Bertot, Yves

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

$119.99
Format: Hardcover
Description
Description
x

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.



Author: Yves Bertot, Pierre Cast駻an
ISBN-10: 3540208542
ISBN-13: 9783540208549
Publisher: Springer
Language: English
Published: 05/14/2004
Pages: 472
Format: Hardcover
Weight: 1.88lbs
Size: 9.36h x 6.46w x 1.27d

Recently Viewed Products