You might also like

More about Logic-Based Program Synthesis and Transformation

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Book details

Book category Books in English Computing & information technology Computer programming / software development Program concepts / learning to program

• Full title: Logic-Based Program Synthesis and Transformation
• Subtitle: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
• Author: Moreno Falaschi
• Language: English
• Binding: Paperback
• Number of pages: 385
• EAN: 9783319274355
• ISBN: 331927435X
• ID: 02836544
• Publisher: Springer International Publishing AG
• Weight: 6088 g
• Dimensions: 235 × 155 × 25 mm
• Date of publishing: 17. December 2015

Trending among others

---

---

---