Anne E. Haxthausen - Böcker
Visar alla böcker från författaren Anne E. Haxthausen.
5 produkter
5 produkter
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Häftad, Engelska, 2022
929 kr
Skickas inom 10-15 vardagar
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Häftad, Engelska, 2023
1 069 kr
Skickas inom 10-15 vardagar
Del 14952 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Häftad, Engelska, 2024
929 kr
Skickas inom 10-15 vardagar
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Häftad, Engelska, 2026
1 389 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Häftad, Engelska, 2008
719 kr
Skickas inom 10-15 vardagar