Automated Technology for Verification and Analysis Editat de Deepak D'Souza et al. 4 oct 2017 Paperback Preț: 329.71 lei 412.14 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science Editat de Deepak D'Souza et al. 7 ian 2015 Paperback Preț: 330.79 lei 413.49 lei 6-8 săpt. -20%