Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science Editat de Krishna Shankaranarayanan et al. 23 ian 2025 Paperback Preț: 387.28 lei 484.10 lei 38-45 zile -20%
