Description: Good Used Hard cover
Price: 83.91 USD
Location: Sparks, Nevada
End Time: 2025-02-03T21:46:51.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
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
Book Title: Interactive Theorem Proving and Program Development: Coq'art: The
Publication Date: 2004-05-14
Pages: 472
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
