Computer Aided Verification Lecture Notes in Computer Science, nr. 14683 Editat de Arie Gurfinkel et al. 26 iul 2024 Paperback Preț: 310.50 lei 388.12 lei 43-57 zile -20%