Software Verification Programming and Software Engineering Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 344.04 lei 430.06 lei 43-57 zile -20%
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II Lecture Notes in Computer Science, nr. 14500 Editat de Rayna Dimitrova et al. 3 ian 2024 Paperback Preț: 486.79 lei 608.49 lei 43-57 zile -20%