Integrated Formal Methods
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%
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.98 lei 471.22 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications
Editat de Maurice H. Ter Beek et al.
27 noi 2025
Paperback
Preț: 374.05 lei 467.55 lei
6-8 săpt.
-20%