Order Total (1 Item Items):
Shipping Destination:
Yves Bertot (64 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (64)
- 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 (45)
- As New, Fine or Near Fine (11)
- Very Good or Good (7)
- 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 (23)
- Not Print on Demand (50)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
hardcover. Condition: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer (edition Softcover reprint of hardcover 1st ed. 2004), 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
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
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin / Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Goodwill Southern California, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer (edition 2004), 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
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.
-
Hardcover. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Language: English
Published by Berlin: Springer., 1999
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. Condition: Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.
-
From Semantics to Computer Science
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Condition: New. pp. xix + 574 7 Illus.
-
Hardcover. Condition: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
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.
-
paperback. Condition: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
-
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
-
From Semantics To Computer Science: Essays In Honour Of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
From Semantics To Computer Science: Essays In Honour Of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Theorem Proving in Higher Order Logics
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Condition: New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 74.62
£ 11.98 shipping
Ships 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
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
