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