Anne E. Haxthausen - Böcker

Visar alla böcker från författaren Anne E. Haxthausen.

5 produkter

Kategorier

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

Av Simon Collart-Dutilleul, Anne E. Haxthausen m. fl

Häftad, Engelska, 2022

939 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

Av Anne E. Haxthausen, Wen-ling Huang m. fl

Häftad, Engelska, 2023

1 089 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Av Anne E. Haxthausen, Wendelin Serwe

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Nyhet

Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Av Maurice H. ter Beek, Stefania Gnesi m. fl

Häftad, Engelska, 2026

2 039 kr

Kommande

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Av John S. Fitzgerald, Anne E. Haxthausen m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar