Logic-Based Program Synthesis and Transformation
Elemento
- Título
- Logic-Based Program Synthesis and Transformation
- Autores
- Proietti
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-17821-9
- eBook
- 978-3-319-17822-6
- Colecciones
- Springer