Verification, Model Checking, and Abstract Interpretation Editat de Krishna Shankaranarayanan et al. 23 ian 2025 Paperback Preț: 387.58 lei 484.47 lei 38-44 zile -20%