Automated Technology for Verification and Analysis
Editat de Étienne André et al.
22 oct 2023
Paperback
Preț: 520.97 lei 651.20 lei
6-8 săpt.
-20%
Étienne André
Formal Methods and Software Engineering
Editat de Étienne André et al.
12 noi 2025
Paperback
Preț: 500.69 lei 625.86 lei
38-44 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
6-8 săpt.
-20%