Logic-based Program Synthesis and Transformation
Edición de la obra Logic-based Program Synthesis and Transformation
| Autor | Andy King |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 14, 2008 |
| Formato | paperback |
| ISBN-13 | 9783540871347 |
| ISBN-10 | 3540871349 |
| Número de Cutter | K52l |