Maria Alpuente的作品

iMusic 有现货显示无货商品

Cover for Maria Alpuente · Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) (2011)

Logic-Based Program Synthesis an... (2011)

Cover for Maria Alpuente · Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings - Programming and Software Engineering (Paperback Book) [2008 edition] (2008)

Static Analysis: 15th Internatio... (2008)