Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 13505 Editat de Ahmed Bouajjani et al. 23 oct 2022 Paperback Preț: 485.14 lei 606.43 lei Indisponibil temporar -20%
