Zobacz książki o podobnej tematyce

Więcej informacji o Rewriting Techniques and Applications

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 154 punkty

Opis

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.§The 30 revised full papers presented were carefully reviewed and selected from 57 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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Mathematical theory of computation

• Pełny tytuł: Rewriting Techniques and Applications
• Podtytuł: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
• Autor: Andrei Voronkov
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 457
• EAN: 9783540705888
• ISBN: 3540705880
• ID: 01568079
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 718 g
• Wymiary: 235 × 155 × 28 mm
• Data wydania: 04. July 2008

Ulubione w innej kategorii

---

---

---