Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Zustand: Gut. Auflage: 1996. 500 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,4 x 15,7 x 2,5 cm, Taschenbuch.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540616489 ISBN 13: 9783540616481
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings | Bengt Jonsson (u. a.) | Taschenbuch | x | Englisch | 1996 | Springer | EAN 9783540616481 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.