Gesamtpreis (1 Artikel Artikel):
Versandziel:
interactive theorem proving program von bertot yves (5 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (5)
- 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
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 (1)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Verlag: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 70,05
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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)
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Sprache: Englisch
Anbieter: Homeless Books, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 50,00
Währung umrechnenEUR 19,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 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: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq'Art: The Calculus of Inductive Constructions
Anbieter: Antiquariat Mäander Quell, Waldshut-Tiengen, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 38,90
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,74
Währung umrechnenEUR 14,04 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Interactive Theorem Proving and Program Development
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 130,41
Währung umrechnenEUR 14,04 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
