Logic-Based Program Synthesis and Transformation
Elemento
- Título
- Logic-Based Program Synthesis and Transformation
- Autores
- Falaschi
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-27435-5
- eBook
- 978-3-319-27436-2
- Colecciones
- Springer