Automated Technology for Verification and Analysis
Editat de Étienne André et al.
19 oct 2023
Paperback
Preț: 487.67 lei 609.59 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.33 lei 625.42 lei
38-45 zile
-20%