Static Analysis Editat de Roberto Giacobazzi 17 aug 2004 Paperback Preț: 326.91 lei 408.64 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues Editat de Roberto Giacobazzi et al. 7 ian 2013 Paperback Preț: 334.88 lei 418.59 lei 6-8 săpt. -20%
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 13160 Editat de Pedro Lopez-Garcia et al. 17 mai 2023 Paperback Preț: 787.94 lei 984.94 lei 6-8 săpt. -20%