Automated Technology for Verification and Analysis Lecture Notes in Computer Science Editat de Étienne André et al. 19 oct 2023 Paperback Preț: 487.67 lei 609.59 lei 6-8 săpt. -20%