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