Computer Aided Verification Lecture Notes in Computer Science, nr. 12759 Editat de Alexandra Silva et al. 18 iul 2021 Paperback Preț: 327.88 lei 409.86 lei 43-57 zile -20%