paperback. Zustand: Very Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New. pp. 248.
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 98,55
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Sep 2023, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10¿12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings | Birgit Milius (u. a.) | Taschenbuch | xx | Englisch | 2023 | Springer | EAN 9783031433658 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2023, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. 248 pp. Englisch.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 102,09
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 248.
Verlag: Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 61,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 248.