Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | Gopal Gupta, Ricardo Peña |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 237 |
| ISBN-13 | 9783319141251 |
| Número de Cutter | G977l |