Formal Methods: Foundations and Applications
Editat de Maurice H. Ter Beek et al.
27 noi 2025
Paperback
Preț: 375.20 lei 469.00 lei
6-8 săpt.
-20%
Maurice H. Ter Beek
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.79 lei 470.98 lei
6-8 săpt.
-20%
Integrated Formal Methods
Editat de Maurice H. Ter Beek et al.
iun 2022
Paperback
Preț: 461.29 lei 576.61 lei
3-5 săpt. | 4-10 zile
-20%