Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 10482 Editat de Deepak D'Souza et al. 4 oct 2017 Paperback Preț: 345.90 lei 432.37 lei 6-8 săpt. -20%
