Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 14216 Editat de Étienne André et al. 19 oct 2023 Paperback Preț: 489.19 lei 611.49 lei 6-8 săpt. -20%
