Gesamtpreis (1 Artikel Artikel):
Versandziel:
interactive theorem proving program von bertot yves (6 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (6)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (1)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 40
- Mehr als EUR 40
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer (edition Softcover reprint of hardcover 1st ed. 2004), 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Paperback. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Hardcover. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Anbieter: Homeless Books, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 109,67
EUR 7,46 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. 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.
