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