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 ; .
<br/><br/> Springer eBooks 
<br/><br/>Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm. 
<br/><br/><label>ISBN: </label>9783319141251 
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66