Description: payment | shipping rates | returns Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Product Category : Books ISBN : 9783642058806 Title : Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) EAN : 9783642058806 Authors : Castéran, Pierre,Bertot, Yves Binding : Paperback Publisher : Springer Publication Date : 2010-12-15 Pages : 497 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 84.99 Height : 1.3386 inches Width : 6.0630 inches Length : 8.8976 inches Weight : 1.7600 pounds Condition : Good About hpb-red Selling quality books and media since 1972. Customer service is our top priority! Payment We accept several payment types. They are shown above. Shipping Please click the "Shipping and Payments" tab above for details. Returns Your satisfaction is very important to us. Please contact us via the methods available within eBay regarding any problems before leaving negative feedback. You have 60 days from purchase to request a refund. © 2024 hpb-red
Price: 54.44 USD
Location: Carrollton, Texas
End Time: 2024-12-02T00:30:57.000Z
Shipping Cost: 0 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: 60 Days
Refund will be given as: Money Back
Book Title: Interactive Theorem Proving and Program Development: Coq’Art: The
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
Publication Year: 2010
Subject: Programming / General, Systems Architecture / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic
Type: Textbook
Item Weight: 26.8 Oz
Subject Area: Mathematics, Computers
Item Length: 9.3 in
Author: Pierre Castéran, Yves Bertot
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Item Width: 6.1 in
Format: Trade Paperback
