Gesamtpreis (1 Artikel Artikel):
Versandziel:
vytopil (35 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (35)
- 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
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (16)
Sprache (4)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,99
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 571; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Patchwork quilts: ontwerpen en uitvoeren
Verlag: De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, groot 8vo.
-
Patchwork quilts: ontwerpen en uitvoeren
Verlag: De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, 8vo.; Naam op schutblad.
-
Verlicht wonen - licht en verlichting in en om het huis
Verlag: Terra
ISBN 10: 9062558763 ISBN 13: 9789062558766
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Sehr gut. 620 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469.
-
Quilten in Nederland. Werk en methoden
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., hardcover, groot formaat, i.z.g.st., 104 pagina's.
-
Quilten in Nederland. Werk en methoden
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., hardcover, groot formaat, gaaf exemplaar, 104 pagina's.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1991
ISBN 10: 3540550925 ISBN 13: 9783540550921
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 1991st 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.
-
Patchwork quilts ontwerpen en uitvoeren
Verlag: Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Patchwork-quilts. Ontwerpen en uitvoeren
Verlag: Cantecleer 1990, 1990
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., flexcover, i.z.g.st., 191 pagina's.
-
Zustand: Fair. Spuren von Feuchtigkeit / Nässe; Leichte Kratzer / Abnutzungen / Druckstellen.
-
Strokenquilts in het interieur
Sprache: Niederländisch
ISBN 10: 9021324156 ISBN 13: 9789021324159
Anbieter: Houtman Boeken, Utrecht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
1998, 48pp, Nette paperback.
-
Patchwork quilts ontwerpen en uitvoeren
Verlag: Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Patchwork, Quilts .Ontwerpen en uitvoeren.
Verlag: , Cantecleer, de bilt, 1990, 1990
Anbieter: BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, Belgien
Verbandsmitglied: ILAB
Verkäuferbewertung 5 von 5 Sternen
Softcover, in zeer nette staat, 191 p - 580 gr - .17,5x 24,5 cm. tweede druk. 0 g.
-
Quilten in Nederland: Werd En Methoden
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
QUILTEN IN NEDERLAND - werk en methoden
Verlag: Cantecleer, De Bilt - eerste druk 1993, 1993
Anbieter: Handled With Care, Bocholt, Belgien
Verkäuferbewertung 4 von 5 Sternen
Hardcover/Hardback. Zustand: Very Good. In zeer goede staat. Hardcover. Rijkelijk geà llustreerd.
-
Patchwork quilts ontwerpen en uitvoeren
Verlag: Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,52
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,52
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Patchwork-quilts. Ontwerpen en uitvoeren. 1. Aufl.
Verlag: de Bilt, Cantecleer., 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Antiquariat Held, Stuttgart, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Mit 52 (49 farb.) Abb. u. zahlr. (1 farb.) Illustr. 191 S. Gr. 8°. Farb. illustr., flexibler OPbd., dieser etwas bestoßen, sonst gutes Exemplar. Sprache: niederländisch.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 152,03
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 812 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings | Jan Vytopil | Taschenbuch | xii | Englisch | 1991 | Springer | EAN 9783540550921 | 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 Techniques in Real-Time and Fault-Tolerant Systems | Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings | Hans Langmaack (u. a.) | Taschenbuch | xiv | Englisch | 1994 | Springer | EAN 9783540584681 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems (The Springer International Series in Engineering and Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 162,92
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems (The Springer International Series in Engineering and Computer Science, 221)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 162,92
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied: to specify and model qualitative and quantitativereal-time and fault-tolerant behavior to analyze timeliness requirements and consequences offaulthypotheses to verify protocols and program code to formulate formal frameworks for development ofreal-time and fault-tolerant systems to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
-
Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | Jan Vytopil | Taschenbuch | The Springer International Series in Engineering and Computer Science | xiii | Englisch | 2012 | Springer | EAN 9781461364146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Contractual Control in the Supply Chain : On Corporate Social Responsibility, Codes of Conduct, Contracts and (Avoiding) Liability
Sprache: Englisch
Verlag: Eleven International Publishing, 2015
ISBN 10: 9462365911 ISBN 13: 9789462365919
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
EUR 178,14
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance refers to a system having properties .
