Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logic-Based Program Synthesis and Transformation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Program concepts / learning to program

• Celý názov: Logic-Based Program Synthesis and Transformation
• Podnázov: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
• Autor: Moreno Falaschi
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 385
• EAN: 9783319274355
• ISBN: 331927435X
• ID: 02836544
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 6088 g
• Rozmery: 235 × 155 × 25 mm
• Dátum vydania: 17. December 2015

Obľúbené z iného súdka

---

---

---