Vendeur : Books From California, Simi Valley, CA, Etats-Unis
EUR 54,42
Quantité disponible : 2 disponible(s)
Ajouter au panierpaperback. Etat : Very Good.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 66,42
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 78,83
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 80,08
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 99,53
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 248.
Langue: anglais
Edité par Springer-Nature New York Inc, 2023
ISBN 10 : 3031433653 ISBN 13 : 9783031433658
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 98,99
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
Langue: anglais
Edité par Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10 : 3031433653 ISBN 13 : 9783031433658
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 69,54
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : preigu, Osnabrück, Allemagne
EUR 63,80
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 44,49
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 45,82
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
EUR 189,90
Quantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : gut. 2023. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification In deutscher Sprache. pages.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
EUR 58,23
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
Langue: anglais
Edité par Springer Nature Switzerland, Springer International Publishing Sep 2023, 2023
ISBN 10 : 3031433653 ISBN 13 : 9783031433658
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 69,54
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 100,45
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 248.
Langue: anglais
Edité par Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10 : 3031433653 ISBN 13 : 9783031433658
Vendeur : moluna, Greven, Allemagne
EUR 61,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : 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.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 100,92
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 248.
Langue: anglais
Edité par Springer, Springer Sep 2023, 2023
ISBN 10 : 3031433653 ISBN 13 : 9783031433658
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 69,54
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.