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 109 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Logic-Based Program Synthesis and Transformation
• Autor: Elvira Albert
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 245
• EAN: 9783642381966
• ISBN: 3642381960
• ID: 01663644
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 454 g
• Rozměry: 235 × 155 × 15 mm
• Datum vydání: 10. April 2013

Oblíbené z jiného soudku

---

---

---