Static Analysis Editat de María Alpuente et al. iul 2008 Paperback Preț: 326.07 lei 407.59 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings Lecture Notes in Computer Science, nr. 5825 Editat de María Alpuente et al. 26 oct 2009 Paperback Preț: 317.85 lei 397.31 lei 6-8 săpt. -20%
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6564 Editat de María Alpuente 2 mai 2011 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%