Order Total (1 Item Items):
Shipping Destination:
Interactive Theorem Proving Program by Bertot Yves (22 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (22)
- 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
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 (5)
- Not Print on Demand (18)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq'Art: The Calculus of Inductive Constructions
Seller: Antiquariat Mäander Quell, Waldshut-Tiengen, Germany
Seller rating 5 out of 5 stars
£ 33.25
Convert currency£ 22.21 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Gut. 2004. 497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm.
-
Interactive Theorem Proving and Program Development
Published by Springer (edition 2004), 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Language: English
£ 53.48
Convert currency£ 4.44 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Fair. 2004. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Published by Springer Berlin / Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Language: English
£ 58.85
Convert currency£ 5.97 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
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
£ 76.82
Convert currencyFree shipping within United KingdomQuantity: 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
£ 76.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 57.32
Convert currency£ 26.71 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
-
£ 74.56
Convert currency£ 14.83 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Interactive Theorem Proving and Program Development
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 108.02
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In English.
-
£ 109.23
Convert currency£ 6.68 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 500.
-
£ 109.29
Convert currency£ 7.42 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 37.55
Convert currency£ 85.33 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
£ 73.53
Convert currency£ 55.65 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 100.10
Convert currency£ 32.65 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to baskethardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
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
£ 131.99
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
£ 97.47
Convert currency£ 55.65 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 155.28
Convert currency£ 14.83 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: 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
£ 64.13
Convert currency£ 21.35 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: 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.
-
Interactive Theorem Proving and Program Development
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Language: English
£ 86.70
Convert currency£ 21.35 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. 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.
-
£ 118.55
Convert currency£ 6.79 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 500.
