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