Anne E. Haxthausen – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Del 13294
Del 13294 - Lecture Notes in Computer Science
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
AvSimon Collart-Dutilleul,Anne E. Haxthausenm. fl.
Häftad, Engelska, 2022
949 kr
Skickas inom 10-15 vardagar
Del 14165
Del 14165 - Lecture Notes in Computer Science
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
AvAnne E. Haxthausen,Wen-ling Huangm. fl.
Häftad, Engelska, 2023
1 089 kr
Skickas inom 10-15 vardagar
Del 14952
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
AvAnne E. Haxthausen,Wendelin Serwe
Häftad, Engelska, 2024
949 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
AvMaurice H. ter Beek,Stefania Gnesim. fl.
Häftad, Engelska, 2026
1 419 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
AvJohn S. Fitzgerald,Anne E. Haxthausenm. fl.
Häftad, Engelska, 2008
729 kr
Skickas inom 10-15 vardagar