Code: 01655691
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 20 ... more
English
51.56 €
RRP: 55.84 €
You save 4.27 €

You get 125 loyalty points
Book synopsis
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. 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.
Book details
Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general
51.56 €
English
Collection points Bratislava a 12797 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25598 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )