Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Maurice H. Ter Beek et al.
16 noi 2025
Paperback
Preț: 376.98 lei 471.22 lei
43-57 zile
-20%
Maurice H. Ter Beek
Formal Methods: Foundations and Applications
Editat de Maurice H. Ter Beek et al.
27 noi 2025
Paperback
Preț: 372.86 lei 466.08 lei
43-57 zile
-20%
Integrated Formal Methods
Editat de Maurice H. Ter Beek et al.
iun 2022
Paperback
Preț: 461.29 lei 576.61 lei
22-36 zile | 5-11 zile
-20%