Logic-Based Program Synthesis and Transformation
Elemento
- Título
- Logic-Based Program Synthesis and Transformation
- Autores
- Albert
- Año Publicación
- 2013
- Editorial
- Springer Berlin Heidelberg
- ISBN
- 978-3-642-38196-6
- eBook
- 978-3-642-38197-3
- Colecciones
- Springer