Formal Methods for Industrial Critical Systems
Editat de Anne E. Haxthausen et al.
21 aug 2024
Paperback
Preț: 374.44 lei 468.04 lei
6-8 săpt.
-20%
Cărți de Anne E. Haxthausen
Applicable Formal Methods for Safe Industrial Products
Editat de Anne E. Haxthausen et al.
17 aug 2023
Paperback
Preț: 482.86 lei 603.57 lei
6-8 săpt.
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
21 mai 2022
Paperback
Preț: 401.18 lei 501.48 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Editat de John S. Fitzgerald et al.
18 aug 2008
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%