Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 16229 Editat de Étienne André et al. 12 noi 2025 Paperback Preț: 483.92 lei 604.89 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ț: 508.81 lei 636.02 lei 6-8 săpt. -20%