Gesamtpreis (1 Artikel Artikel):
Versandziel:
merz stephan (95 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (95)
- 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 (74)
- 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 (51)
- Keine Print-on-Demand Angebote (72)
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,46
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,90
EUR 13,82 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,90
EUR 13,82 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,90
EUR 13,82 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 56,98
EUR 17,86 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,01
EUR 17,86 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,89
EUR 17,30 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,89
EUR 17,30 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,89
EUR 17,30 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,40
EUR 17,30 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,76
EUR 13,82 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,16
EUR 17,86 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,01
EUR 13,82 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,69
EUR 14,42 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,75
EUR 14,42 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,63
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: New. pp. 448.
-
Formal Systems Specification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1996, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.
