Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions, (Hardcover)

Name: Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions, (Hardcover)
Brand: Yves Bertot
SKU: prod_1176147bc7dbbebf2f9565b2
Price: 121.00 USD
Availability: InStock

Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions, (Hardcover) Author: Springer ISBN: 9783540208549 Format: Hardcover Publication Date: 2004-05-14 Page Count: 472

Shipping & Returns

Price unavailable

Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions, (Hardcover)—

$121.00

Price unavailable

Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions, (Hardcover)—

$121.00