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