Order Total (1 Item Items):
Shipping Destination:
Interactive Theorem Proving Program by Bertot Yves (24 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (24)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (6)
- Very Good or Good (4)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (20)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Interactive Theorem Proving and Program Development
Published by Springer (edition 2004), 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Language: English
Hardcover. Condition: Fair. 2004. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
-
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Published by Springer (edition Softcover reprint of hardcover 1st ed. 2004), 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Language: English
Paperback. Condition: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of hardcover 1st ed. 2004.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Published by Springer Berlin / Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Language: English
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Hardcover. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Goodwill Southern California, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good.
-
Hardcover. Condition: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Language: English
Softcover. Condition: Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.
-
-
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 100.44
US$ 15.76 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 100.43
US$ 19.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
-
Condition: New. pp. 500.
-
Condition: new.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Interactive Theorem Proving and Program Development
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 141.10
US$ 15.76 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 178.85
US$ 19.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
Hardcover. Condition: Like New. Like New. book.
-
Interactive Theorem Proving and Program Development
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Language: English
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
-
Condition: New. Print on Demand pp. 500 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. PRINT ON DEMAND pp. 500.
-
Interactive Theorem Proving and Program Development
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Language: English
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
