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-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Celý názov: Logic Based Program Synthesis and Transformation
• Podnázov: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
• Autor: Alberto Pettorossi
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 272
• EAN: 9783540439158
• ISBN: 3540439153
• ID: 01564461
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 880 g
• Rozmery: 235 × 155 × 16 mm
• Dátum vydania: 17. July 2002

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

---

---

---