Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science, nr. 15529 Editat de Krishna Shankaranarayanan et al. 24 ian 2025 Paperback Preț: 428.88 lei 536.11 lei 39-44 zile -20%
