Computer Aided Verification Lecture Notes in Computer Science, nr. 11562 Editat de Isil Dillig et al. 13 iul 2019 Paperback Preț: 363.53 lei 454.40 lei 6-8 săpt. -20%
