Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science, nr. 14500 Editat de Rayna Dimitrova et al. 3 ian 2024 Paperback Preț: 489.83 lei 612.29 lei 6-8 săpt. -20%
Software Verification Lecture Notes in Computer Science, nr. 13124 Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 345.11 lei 431.39 lei 6-8 săpt. -20%