Automated Technology for Verification and Analysis
Editat de Étienne André et al.
22 oct 2023
Paperback
Preț: 543.56 lei 679.44 lei
43-57 zile
-20%
Étienne André
Formal Modeling and Analysis of Timed Systems
Editat de Étienne André et al.
13 aug 2019
Paperback
Preț: 323.17 lei 403.96 lei
43-57 zile
-20%