Gesamtpreis (1 Artikel Artikel):
Versandziel:
gamboa ruben (40 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (40)
- 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 (31)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (18)
- Keine Print-on-Demand Angebote (35)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Essential Logic for Computer Science (Mit Press)
Anbieter: Bellwetherbooks, McKeesport, PA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
-
Essential Logic for Computer Science (Mit Press)
Anbieter: Bellwetherbooks, McKeesport, PA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
-
Essential Logic for Computer Science (Mit Press)
Anbieter: Bay State Book Company, North Smithfield, RI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good.
-
Essential Logic for Computer Science (Mit Press)
Anbieter: Big River Books, Powder Springs, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Essential Logic for Computer Science (The MIT Press)
Anbieter: BookResQ., West Valley City, UT, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Priority Mail is available on this item. No international shipping.
-
Zustand: New.
-
Essential Logic for Computer Science
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Essential Logic for Computer Science
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Essential Logic for Computer Science
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 46,76
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Hardback. Zustand: New.
-
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Essential Logic for Computer Science
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,80
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Essential Logic for Computer Science (Mit Press)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,63
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. In.
-
Essential Logic for Computer Science
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,10
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Essential Logic for Computer Science
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,16
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 304 pages. 9.00x7.00x0.88 inches. In Stock.
-
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,82
EUR 17,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,76
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New. pp. 580.
-
Essential Logic for Computer Science
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,15
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 304 pages. 9.00x7.00x0.88 inches. In Stock.
-
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,26
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 570 pages. 9.25x6.10x1.40 inches. In Stock.
-
Essential Logic for Computer Science
Anbieter: Rarewaves USA United, OSWEGO, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 57,45
EUR 42,49 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New.
-
Interactive Theorem Proving
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Aug 2014, 2014
ISBN 10: 3319089692 ISBN 13: 9783319089690
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.
-
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319089692 ISBN 13: 9783319089690
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
-
Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings | Gerwin Klein (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2014 | Springer | EAN 9783319089690 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 110,01
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
