Description: Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD Product Id:3540208542 Condition:USED_VERY_GOOD Notes:Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc...
Price: 48.52 USD
Location: Montgomery, Illinois
End Time: 2024-12-25T15:12:20.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Brand: Unbranded
Book Title: Interactive Theorem Proving and Program Development
MPN: Does not apply
Number of Pages: Xxv, 472 Pages
Language: English
Publication Name: Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Publisher: Springer Berlin / Heidelberg
Publication Year: 2004
Subject: Systems Architecture / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Calculus, Logic, Linguistics / General
Type: Textbook
Item Weight: 68.4 Oz
Subject Area: Mathematics, Computers, Language Arts & Disciplines
Author: Pierre Castéran, Yves Bertot
Item Length: 9.3 in
Item Width: 6.1 in
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Format: Hardcover
