Gesamtpreis (1 Artikel Artikel):
Versandziel:
merz stephan (93 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (93)
- 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 (72)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (16)
- Gut oder Befriedigend (5)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (7)
- Signiert (1)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (48)
- Keine Print-on-Demand Angebote (69)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Hardcover. Zustand: 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!
-
Formal Systems Specification: The Rpc-Memory Specification Case Study
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Modeling and Verification of Real-Time Systems
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Temporal Logic And State Systems - Texts In Theoretical Computer Science - An EATCS Series
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Recycle Bookstore, San Jose, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. Hardcover. Mild rubbing and wear to edges of cover but otherwise sharp copy with clean, unmarked pages throughout. Binding is solid.
-
Gesellschaft der Zukunft: 38 Ideen für Neues
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 28,43
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 6 verfügbar
In den WarenkorbHardback. Zustand: New. 1.
-
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, Icfem 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: 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.
-
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,96
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,96
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,96
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November. . . (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,04
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,07
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Interactive Theorem Proving : 7th International Conference, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Interactive Theorem Proving : 7th International Conference, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, Icfem 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,47
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 70,84
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,23
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Studien zur altbayerischen Kirchengeschichte - Band 18: 200 Jahre Erzbistum München und Freising 1821 - 2021 (Neue Fragen an die jüngste Epoche der Diözesangeschichte)
Sprache: Deutsch
Verlag: Neustadt a. d. Aisch, VDS Verlagsdruckerei Schmidt, 2022
ISBN 10: 3960491131 ISBN 13: 9783960491132
Anbieter: Bookstore-Online, Mattsies, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Sehr gut. Auflage aus dem Buch nicht ersichtlich. 224 Seiten Das Buch befindet sich in einem gebrauchten sehr guten Zustand. Die vorhandenen Alters- und Gebrauchsspuren sind nur äußerst gering. Rik042151 Sprache: Deutsch Gewicht in Gramm: 850.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,09
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642162649 ISBN 13: 9783642162640
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,77
EUR 14,43 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,82
EUR 14,43 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 480 pages. 9.00x6.00x1.00 inches. In Stock.
-
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6396)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,71
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Im Wald: Eine Kulturgeschichte
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 53,23
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 6 verfügbar
In den WarenkorbPaperback. Zustand: New. 1.
