Iname Books

Discover Books & Audiobooks you will love!

Popular by Anne E Haxthausen Wen Ling Huang Markus Roggenbach

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen & Thierry Lecomte
Applicable Formal Methods for Safe Industrial Products
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang & Markus Roggenbach
Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
John S. Fitzgerald, Anne E. Haxthausen & Husnu Yenigun
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Anne E. Haxthausen & Wendelin Serwe