Logic-based program synthesis and transformation : 23rd international symposium, lopstr 2013, madrid, spain, september 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peña.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8901Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xii, 237 páginas : 51 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319141251
- QA76.6-76.66
Contenidos:
Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
No hay ítems correspondientes a este registro
Springer eBooks
Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
Para consulta fuera de la UANL se requiere clave de acceso remoto.