Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 16229 Editat de Étienne André et al. 12 noi 2025 Paperback Preț: 465.27 lei 581.58 lei 3-5 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 14216 Editat de Étienne André et al. 19 oct 2023 Paperback Preț: 489.19 lei 611.49 lei 6-8 săpt. -20%