Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science Editat de Cezara Dragoi et al. 17 ian 2023 Paperback Preț: 490.54 lei 613.18 lei 6-8 săpt. -20%