Logic-Based Program Synthesis and Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper

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,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642125913
• ISBN13: 9783642125911
• Release Date: April 2010
• Publisher: Springer
• Length: 205 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.2" x 9.2"