Anne E. Haxthausen - Böcker

Visar alla böcker från författaren Anne E. Haxthausen.
5 produkter
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 13294 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Av Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte

Häftad, Engelska, 2022

949 kr

Skickas inom 10-15 vardagar
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, Wen-Ling Huang - Applicable Formal Methods for Safe Industrial Products, Häftad

Applicable Formal Methods for Safe Industrial Products

Av Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, Wen-Ling Huang

Häftad, Engelska, 2023

1 099 kr

Skickas inom 10-15 vardagar
Anne E. Haxthausen, Wendelin Serwe - Formal Methods for Industrial Critical Systems, Häftad
Del 14952 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

Av Anne E. Haxthausen, Wendelin Serwe

Häftad, Engelska, 2024

819 kr

Skickas inom 10-15 vardagar
  • Nyhet
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice Ter Beek - Journeys Between Formal Methods and the Railway Industry, Häftad

Journeys Between Formal Methods and the Railway Industry

Av Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice Ter Beek

Häftad, Engelska, 2026

2 029 kr

Kommande
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun, John Fitzgerald - Theoretical Aspects of Computing - ICTAC 2008, Häftad

Theoretical Aspects of Computing - ICTAC 2008

Av John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun, John Fitzgerald

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar