Formal Methods and Software Engineering
Editat de Étienne André et al.
12 noi 2025
Paperback
Preț: 462.96 lei 578.70 lei
22-36 zile
-20%
Étienne André
Automated Technology for Verification and Analysis
Editat de Étienne André et al.
19 oct 2023
Paperback
Preț: 487.67 lei 609.59 lei
43-57 zile
-20%
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Editat de Étienne André et al.
13 aug 2019
Paperback
Preț: 320.86 lei 401.08 lei
43-57 zile
-20%