Static Analysis Editat de María Alpuente et al. iul 2008 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Editat de María Alpuente et al. 26 oct 2009 Paperback Preț: 318.27 lei 397.84 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%