Zobacz książki o podobnej tematyce

Więcej informacji o Rewriting Logic and Its Applications

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

Za ten zakup dostaniesz 166 punkty

Opis

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.§§The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.§

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

• Pełny tytuł: Rewriting Logic and Its Applications
• Podtytuł: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
• Autor: Dorel Lucanu
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 185
• EAN: 9783319448015
• ISBN: 3319448013
• ID: 13633774
• Wydawca: Springer International Publishing AG
• Waga: 3168 g
• Wymiary: 235 × 155 × 12 mm
• Data wydania: 18. August 2016

---

---

---