Vista normal Vista MARC Vista ISBD

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. - xii, 237 páginas : 51 ilustraciones - Lecture Notes in Computer Science, 8901 0302-9743 ; .

Springer eBooks

Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.

ISBN: 9783319141251

LC Class. No.: QA76.6-76.66