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