Anne E. Haxthausen – författare

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

5 produkter

1. 

   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, 2022

   959 kr

   Lägg i varukorg

2. 

   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, 2023

   1099 kr

   Lägg i varukorg

3. 

   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, 2024

   959 kr

   Lägg i varukorg

4. 

   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, 2026

   1439 kr

   Lägg i varukorg

5. 

   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, 2008

   739 kr

   Lägg i varukorg