Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 13505 Editat de Ahmed Bouajjani et al. 23 oct 2022 Paperback Preț: 462.84 lei 578.54 lei 3-5 săpt. | 4-10 zile -20%
