Computer Aided Verification Lecture Notes in Computer Science Editat de Ruzica Piskac et al. 23 iul 2025 Paperback Preț: 290.13 lei 362.66 lei 38-44 zile -20%