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