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 43-57 zile -20%
