Logic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | María Alpuente |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 02, 2013 |
| Páginas | 260 |
| Formato | paperback |
| ISBN-13 | 9783642205521 |
| ISBN-10 | 3642205526 |
| Número de Cutter | A457l |