Computer Aided Verification Lecture Notes in Computer Science, nr. 12224 Editat de Shuvendu K. Lahiri et al. 16 iul 2020 Paperback Preț: 287.17 lei 358.96 lei 6-8 săpt. -20%