Anne e haxthausen u a (3 Ergebnisse)

Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings | Simon Collart-Dutilleul (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2022 | Springer | EAN 9783031058134 | 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 Methods for Industrial Critical Systems | 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings | Anne E. Haxthausen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer | EAN 9783031681493 | 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. Journeys Between Formal Methods and the Railway Industry | Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday | Maurice H. Ter Beek (u. a.) | Taschenbuch | xvi | Englisch | 2026 | Springer | EAN 9783032124838 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …