Hoppa till sidans huvudinnehåll

Anne E. Haxthausen - Böcker

Visar alla böcker från författaren Anne E. Haxthausen.
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

AvSimon Collart-Dutilleul,Anne E. Haxthausen m. fl.

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

AvAnne E. Haxthausen,Wen-ling Huang m. fl.

Häftad, Engelska, 2023

1 079 kr

Skickas inom 10-15 vardagar

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

829 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

AvMaurice H. ter Beek,Stefania Gnesi m. fl.

Häftad, Engelska, 2026

1 399 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. Haxthausen m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar