Mohlo by se vám také líbit

Více informací o knize Rewriting Techniques and Applications

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

Nákupem získáte 135 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasília, Brazil, during June 29 - July 1, 2009.The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from 59 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Rewriting Techniques and Applications
• Podnázev: 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings
• Autor: Ralf Treinen
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 391
• EAN: 9783642023477
• ISBN: 3642023479
• ID: 01649934
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 617 g
• Rozměry: 235 × 155 × 25 mm
• Datum vydání: 09. June 2009

Oblíbené z jiného soudku

---

---

---