Download Free Computer Ebooks - NET BOOKS

Danny De Schreye – Logic-Based Program Synthesis and Transformation

Posted by diemannschaft under General Programming, Programming

Danny De Schreye – Logic-Based Program Synthesis and Transformation
Publisher: S?ringer | 2010-06-07 | ISBN: 3642125913 | PDF | 215 pages | 2.58 MB

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.
Download

http://www.downloadine.net/file/3413817754
Mirror
http://filepost.com/files/db726ca8/2011-11-10-#-3642125913.pdf/

Login [This hidden content is only available for our VIP member]. Become VIP Member NOW

Password default : netbks.us

Donate to become VIP member

Related Ebooks

• Logic Synthesis and Verification Algorithms
• Software Verification and Analysis: An Integrated, Hands-On Approach
• Tiziana Margaria, Bernhard Steffen, “Leveraging Applications of Formal Methods, Verification, and Validation, part 2
• Algebraic Methodology and Software Technology
• Computer Science Logic By Anuj Dawar, Helmut Veith
• Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005
• Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
• Engineering Secure Software and Systems: First International Symposium, ESSoS 2009, Proceedings
• Isabelle/HOL: A Proof Assistant for Higher-Order Logic
• Component-Based Software Engineering

Leave a Reply

Name (required)

Mail (will not be published) (required)