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 6-8 săpt. -20%
Integrated Formal Methods Lecture Notes in Computer Science Editat de Maurice H. Ter Beek et al. iun 2022 Paperback Preț: 461.65 lei 577.07 lei 3-5 săpt. | 7-13 zile -20%