EAN: 9783319448015

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
04.04.2025 um 00:35 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: