Verification, Model Checking, and Abstract Interpretation Editat de Neil Jones et al. 18 dec 2008 Paperback Preț: 326.07 lei 407.59 lei 6-8 săpt. -20%
Modular Compiler Verification Autor Markus Müller-Olm 6 aug 1997 Paperback Preț: 319.96 lei 399.94 lei 6-8 săpt. -20%
Variations on Constants Autor Markus Müller-Olm 2 oct 2006 Paperback Preț: 315.87 lei 394.84 lei 6-8 săpt. -20%
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings Lecture Notes in Computer Science, nr. 10998 Editat de Xinyu Feng et al. 26 aug 2018 Paperback Preț: 315.93 lei 394.92 lei 6-8 săpt. -20%
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Lecture Notes in Computer Science, nr. 8723 Editat de Markus Müller-Olm et al. 20 aug 2014 Paperback Preț: 322.61 lei 403.26 lei 6-8 săpt. -20%