Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Editat de Tiziana Margaria et al.
16 oct 2026
Paperback
Preț: 328.85 lei 411.07 lei
43-57 zile
-20%
Cărți de Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Editat de Tiziana Margaria et al.
16 oct 2026
Paperback
Preț: 315.35 lei 394.18 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
Editat de Tiziana Margaria et al.
17 oct 2026
Paperback
Preț: 319.32 lei 399.16 lei
43-57 zile
-20% Nou