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

Anotace knihy

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

• Plný název: Logic Based Program Synthesis and Transformation
• Podnázev: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
• Autor: Kung-Kiu Lau
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 188
• EAN: 9783540421276
• ISBN: 3540421270
• ID: 01563497
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 306 g
• Rozměry: 235 × 155 × 11 mm
• Datum vydání: 01. May 2001

Oblíbené z jiného soudku

---

---

---