Formal Methods and Software Engineering
Editat de Étienne André et al.
12 noi 2025
Paperback
Preț: 465.27 lei 581.58 lei
22-36 zile
-20%
Étienne André
Automated Technology for Verification and Analysis
Editat de Étienne André et al.
19 oct 2023
Paperback
Preț: 489.19 lei 611.49 lei
43-57 zile
-20%
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%