Computer Aided Verification Lecture Notes in Computer Science, nr. 10982 Editat de Hana Chockler et al. 22 iul 2018 Paperback Preț: 363.35 lei 454.18 lei 6-8 săpt. -20%
