Formal Techniques for Distributed Objects, Components, and Systems
Editat de Alexey Gotsman et al.
10 iun 2020
Paperback
Preț: 402.01 lei 502.51 lei
43-57 zile
-20%
Ana Sokolova
Model Checking Software
Editat de Alfons Laarman et al.
3 aug 2021
Paperback
Preț: 317.47 lei 396.84 lei
43-57 zile
-20%