EAN: 9783319141244

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATIO...

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd
International Symposium on Logic-Based Program Synthesis and Transformation  LOPSTR 2013  held
in Madrid  Spain  in September 2013. The 13 revised full papers presented together with 2
invited talks were carefully reviewed and selected from 21 submissions during two rounds of
reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification 
synthesis  verification  transformation  analysis  optimization  composition  security  reuse 
applications and tools  component-based software development  software architectures 
agent-based software development  and program refinement.

Aktuelle Preise zur EAN 9783319141244

Produktinformationen zur 9783319141244