Description: Texts in Theoretical Computer Science An EATCS Series: Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions Good condition. Hardcover. All pages are clean. The first page is slightly torn (see photo).
Price: 20 USD
Location: Roseville, California
End Time: 2024-12-04T00:09:59.000Z
Shipping Cost: 5.38 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Number of Pages: Xxv, 472 Pages
Publication Name: Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Systems Architecture / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Calculus, Logic, Linguistics / General
Publication Year: 2004
Item Weight: 68.4 Oz
Type: Textbook
Item Length: 9.3 in
Author: Pierre Castéran, Yves Bertot
Subject Area: Mathematics, Computers, Language Arts & Disciplines
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Item Width: 6.1 in
Format: Hardcover
