8 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Anne E. Haxthausen

  1. Cover: Journeys Between Formal Methods and the Railway Industry - Springer
    Maurice H. ter Beek | Stefania Gnesi | Anne E. Haxthausen
    Journeys Between Formal Methods and the Railway Industry
    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
    02/2026
    Springer
    9783032124845 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Formal Methods for Industrial Critical Systems - Springer
    Anne E. Haxthausen | Wendelin Serwe
    Formal Methods for Industrial Critical Systems
    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    08/2024
    Springer
    9783031681509 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  3. Cover: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Springer
    Simon Collart-Dutilleul | Anne E. Haxthausen | Thierry Lecomte
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
    05/2022
    Springer
    9783031058141 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  4. Cover: Journeys Between Formal Methods and the Railway Industry - Springer
    Maurice H. ter Beek | Stefania Gnesi | Anne E. Haxthausen
    Journeys Between Formal Methods and the Railway Industry
    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
    02/2026
    Springer
    9783032124838 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €104.85
    Shipment within 15-20 days
  5. Cover: Formal Methods for Industrial Critical Systems - Springer
    Anne E. Haxthausen | Wendelin Serwe
    Formal Methods for Industrial Critical Systems
    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    08/2024
    Springer
    9783031681493 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days
  6. Cover: Applicable Formal Methods for Safe Industrial Products - Springer
    Anne E. Haxthausen | Wen-ling Huang | Markus Roggenbach
    Applicable Formal Methods for Safe Industrial Products
    Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
    08/2023
    Springer
    9783031401312 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  7. Cover: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Springer
    Simon Collart-Dutilleul | Anne E. Haxthausen | Thierry Lecomte
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
    05/2022
    Springer
    9783031058134 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days
  8. Cover: Theoretical Aspects of Computing - ICTAC 2008 - Springer
    John S. Fitzgerald | Anne E. Haxthausen | Husnu Yenigun
    Theoretical Aspects of Computing - ICTAC 2008
    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    08/2008
    Springer
    9783540857617 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days