paperback. Zustand: Very Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 66,46
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New. pp. 248.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 97,74
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
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 | Lecture Notes in Computer Science | 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.
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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.
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 58,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2023, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
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 90,31
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 248.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 248.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
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.
Sprache: Englisch
Verlag: Springer, Springer Sep 2023, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.