Gesamtpreis (1 Artikel Artikel):
Versandziel:
doron peled (64 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (64)
- 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 (42)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (10)
- Gut oder Befriedigend (9)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (26)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Software Reliability Methods
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Model Checking
Anbieter: MusicMagpie, Stockport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 13,56
EUR 6,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1776693002. 4/20/2026 1:50:02 PM.
-
Software Reliability Methods
Sprache: Englisch
Verlag: Springer-Verlag New York Inc., 2001
ISBN 10: 0387951067 ISBN 13: 9780387951065
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Zustand: As New. Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included.
-
Zustand: As New. Originalverpackt. Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability are all essential elements of the trustworthiness of these modern cyber-physical systems. Protecting the data within such systems from external attack (security) and protecting the environment from any potential malfunction or misuse of these systems (safety) are subjects traditionally considered separately, but a closer look reveals that techniques for the construction and analysis of the software-based systems used in both security and safety are not necessarily fundamentally different.This book presents papers from the 2016 Marktoberdorf summer school on software engineering, held in Marktoberdorf, Germany, in August 2016. As its title - Dependable Software Systems Engineering - suggests, the lectures at this summer school explored various aspects of the engineering of more dependable software systems, and the 10 lectures included here cover subjects from programming languages and formal analysis tools to verification, validation and assurance.The book will be of interest to all those whose work involves the development and testing of more reliable and secure software systems.
-
Software reliability methods. Doron A. Peled. Foreword by Edmund M. Clarke / Texts in computer science
Sprache: Englisch
Verlag: New York ; Berlin ; Heidelberg ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2001
ISBN 10: 0387951067 ISBN 13: 9780387951065
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
8° gebundene Ausgabe. Zustand: Sehr gut. XIX, 331 S. : graph. Darst. ; 25 cm Ausgetragenes Bibliotheksexemplar, mit geringen Gebrauchsspuren B02-01-05B Sprache: Englisch Gewicht in Gramm: 585.
-
Software Reliability Methods
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.
-
Model Checking, second edition (Cyber Physical Systems Series)
Buch 1 von 3: Cyber Physical Systems SeriesSprache: Englisch
Verlag: The MIT Press (edition 2), 2018
ISBN 10: 0262038838 ISBN 13: 9780262038836
Hardcover. Zustand: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
-
Model Checking, second edition (Cyber Physical Systems Series)
Buch 1 von 3: Cyber Physical Systems SeriesSprache: Englisch
Verlag: The MIT Press (edition 2), 2018
ISBN 10: 0262038838 ISBN 13: 9780262038836
Hardcover. Zustand: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Model Checking, second edition (Cyber Physical Systems Series)
Buch 1 von 3: Cyber Physical Systems SeriesSprache: Englisch
Verlag: The MIT Press (edition 2), 2018
ISBN 10: 0262038838 ISBN 13: 9780262038836
Hardcover. Zustand: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Model Checking, second edition (Cyber Physical Systems Series)
Buch 1 von 3: Cyber Physical Systems SeriesAnbieter: Dream Books Co., Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good. Pages are clean with no markings. May show minor signs of wear or cosmetic defects marks, cuts, bends, or scuffs on the cover, spine, pages, or dust jacket. May have remainder marks on edges.
-
Model Checking, second edition (Cyber Physical Systems Series)
Buch 1 von 3: Cyber Physical Systems SeriesAnbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Fine.
-
Software Reliability Methods
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 51,60
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 356 Illus.
-
Software Reliability Methods
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 356.
-
Software Reliability Methods
Verlag: Springer-Verlag Inc, New York, 2001
Anbieter: Somerset Books, Glastonbury, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 19,10
EUR 23,18 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. No Jacket. 1st Edition. Near Fine / -- First printing of first edition. Series editors David Gries and Fred B. Schneider. B/w illustrations. In the series Texts in Computer Science. Pictorial boards. Binding is very firm and tight. Interior is very clean with no inscriptions. Not ex-library.
-
Software Reliability Methods
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,54
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Software Reliability Methods (Texts in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science, 5779)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 5348)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
SOFTWARE RELIABILITY METHODS (HB)
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.
-
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Sprache: Englisch
Verlag: Amer Mathematical Society, 1997
ISBN 10: 0821805797 ISBN 13: 9780821805794
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 70,41
EUR 14,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
-
Runtime Verification: 9th International Workshop, Rv 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642046932 ISBN 13: 9783642046933
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,80
EUR 11,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 201 pages. 9.25x6.00x0.50 inches. In Stock.
-
Model Checking
Verlag: The MIT Press. 1999., 1999
Anbieter: Antiquariaat Ovidius, Bredevoort, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Gebraucht / Used. Hardcover with dustjacket. Good. Xiv,xiv,314pp.
-
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540781625 ISBN 13: 9783540781622
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,69
EUR 11,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 325 pages. 9.25x6.25x0.75 inches. In Stock.
