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ț: 378.31 lei 472.88 lei 6-8 săpt. -20%
Formal Methods: Foundations and Applications Editat de Maurice H. Ter Beek et al. 27 noi 2025 Paperback Preț: 372.86 lei 466.08 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.29 lei 576.61 lei 3-5 săpt. | 6-12 zile -20%