Gesamtpreis (1 Artikel Artikel):
Versandziel:
stephan merz (26 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (26)
- 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 (21)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (1)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (12)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
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.
-
TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
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.
-
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.
-
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 60,37
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 60,37
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 60,37
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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 71,32
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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,62
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 79,18
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 81,26
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 82,28
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 Berlin Heidelberg, 2010
ISBN 10: 3642162649 ISBN 13: 9783642162640
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 refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.
-
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 331911736X ISBN 13: 9783319117362
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 refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
-
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319431439 ISBN 13: 9783319431437
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 refereed proceedings of the 7th InternationalConference on Interactive Theorem Proving, ITP 2016, held in Nancy,France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed andselected from 55 submissions. The topics range from theoreticalfoundations to implementation aspects and applications in programverification, security and formalization of mathematical theories.
-
Formal Systems Specification : The RPC-Memory Specification Case Study
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Interactive Theorem Proving: 7th International Conference, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,88
EUR 40,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 520 pages. 9.25x6.10x1.18 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings | Dominique Méry (u. a.) | Taschenbuch | x | Englisch | 2010 | Springer | EAN 9783642162640 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | Jasmin Christian Blanchette (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319431437 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings | Stephan Merz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319117362 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Temporal Logic and State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
-
EUR 262,90
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
-
Schenk/Merz : Ausssicht mit Zimmer- signiert
Anbieter: Antiquariat UEBUE, Zürich, Schweiz
Verkäuferbewertung 5 von 5 Sternen
Signiert
Z : 112 Seiten, mit 50 ganzseitigen farbigen Fotos, literarische Kommentare von Klaus Merz. Widmungsexemplar von Klaus (Merz) an Joy (Matter).
-
Stephan Schenk: Aussicht mit Zimmer.
Sprache: Deutsch
Verlag: Steidl, 2009
Anbieter: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Deutschland
Verkäuferbewertung 5 von 5 Sternen
softcover. Zustand: Sehr gut. 112 S. Sprache: Deutsch Gewicht in Gramm: 287.
-
Edition 5 Erstfeld
Sprache: Deutsch
Verlag: Erstfeld: edition pudelundpinscher, 2010., 2010
Anbieter: Antiquariat Im Seefeld / Ernst Jetzer, Zürich, Schweiz
Verkäuferbewertung 4 von 5 Sternen
Zustand: Sehr gut. Nyffeler, Ruth / Nyffeler, Jürg / Zürcher, Barbara (Hrsg.) 119 S., 4°, OLWd. mit rotem Prägedruck, bedruckter Vorsatz, mit farbigen Abb., Publikation anlässlich der Ausstellung Edition 5 Erstfeld, Haus für Kunst Uri, Altdorf, 12. Juni - 22. August 2010. Sprache(n)/language(s): deTadellos.
