Software Verification Programming and Software Engineering Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 344.04 lei 430.06 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I Lecture Notes in Computer Science, nr. 14499 Editat de Rayna Dimitrova et al. 3 ian 2024 Paperback Preț: 487.46 lei 609.32 lei 6-8 săpt. -20%