
Tell your friends about this item:
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
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
Maria Alpuente
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010.
249 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | May 2, 2011 |
ISBN13 | 9783642205507 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 249 |
Dimensions | 155 × 235 × 15 mm · 408 g |
Language | French |
Editor | Alpuente, Maria |