Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings Lecture Notes in Computer Science, nr. 724 Editat de Patrick Cousot et al. 8 sep 1993 Paperback Preț: 320.06 lei 400.07 lei 43-57 zile -20%
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers Lecture Notes in Computer Science, nr. 9527 Editat de Moreno Falaschi 17 dec 2015 Paperback Preț: 324.81 lei 406.00 lei 43-57 zile -20%