Mohlo by se vám také líbit

Více informací o knize Logic-Based Program Synthesis and Transformation

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Program concepts / learning to program

• Plný název: Logic-Based Program Synthesis and Transformation
• Podnázev: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
• Autor: Moreno Falaschi
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 385
• EAN: 9783319274355
• ISBN: 331927435X
• ID: 02836544
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 6088 g
• Rozměry: 235 × 155 × 25 mm
• Datum vydání: 17. December 2015

Oblíbené z jiného soudku

---

---

---