Gesamtpreis (1 Artikel Artikel):
Versandziel:
doron peled (62 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (62)
- 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 (9)
- Gut oder Befriedigend (8)
- 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 (25)
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.
-
Model Checking
Anbieter: MusicMagpie, Stockport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,77
EUR 6,35 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.
-
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 52,34
EUR 7,52 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,07
EUR 23,15 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,45
EUR 13,86 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,55
EUR 13,86 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,55
EUR 13,86 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,55
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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,55
EUR 13,86 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,55
EUR 13,86 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,55
EUR 13,86 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,55
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
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,30
EUR 14,47 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,41
EUR 11,57 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,30
EUR 11,57 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.
-
Software Reliability Methods
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,50
EUR 14,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 350 pages. 9.25x6.10x0.80 inches. In Stock.
-
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,12
EUR 14,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 506 pages. 9.25x6.25x1.25 inches. In Stock.
