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