Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 15055 Editat de S. Akshay et al. 12 feb 2025 Paperback Preț: 952.61 lei 1190.76 lei 38-44 zile -20%