Gesamtpreis (1 Artikel Artikel):
Versandziel:
vytopil (34 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (34)
- 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
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
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 8,01
EUR 14,49 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.
-
Zustand: Fair. Verschmutzung / Wasserschaden; Leichte Kratzer / Abnutzungen / Druckstellen.
-
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.
-
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.
-
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.
-
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 System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,07
EUR 4,78 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
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.
-
Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science)
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,07
EUR 8,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
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.
-
Quilten in Nederland: Werd En Methoden
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Verlicht wonen - licht en verlichting in en om het huis
Verlag: Terra, 1999
ISBN 10: 9062558763 ISBN 13: 9789062558766
Hardcover. Zustand: Good. Dutch.
-
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.
-
QUILTEN IN NEDERLAND - werk en methoden
Verlag: Cantecleer, De Bilt - eerste druk 1993, 1993
Anbieter: Handled With Care, Bocholt, Belgien
Verkäuferbewertung 3 von 5 Sternen
Hardcover/Hardback. Zustand: Very Good. In zeer goede staat. Hardcover. Rijkelijk geà llustreerd.
-
Hardcover. Zustand: Good. 191 p. : ill. ; 28 cm Vert. van: The appliqué book. - London : Lincoln, cop. 1990.Appliqué book. - London : Lincoln, cop. 1990 Dutch 1e dr. Met reg.
-
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 (Lecture Notes in Computer Science, vol. 863)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,70
EUR 13,89 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 115,70
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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.
-
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.
-
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 (The Springer International Series in Engineering and Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 164,62
EUR 13,89 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 : 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.
-
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 164,62
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Patchwork-quiltsOotwerpen en uitvoeren.
Anbieter: SomeThingz. Books etcetera., Averbode, Belgien
Verkäuferbewertung 5 von 5 Sternen
De Bilt, Cantecleer, 1991 Tweede druk. Softcover, 191pp., 18x24.5cm., geïllustreerd in kleur en z/w., in zeer goede staat.
-
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.
