Anne E. Haxthausen - Böcker

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

959 kr

Skickas inom 7-10 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 7-10 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

849 kr

Skickas inom 7-10 vardagar
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 7-10 vardagar