Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Rewriting Logic and Its Applications
CHF 71.05
Auf Lager
SKU
96G96G7KUV4
1 Verfügbar 
Geliefert zwischen Mo., 02.02.2026 und Di., 03.02.2026
Details
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.
Includes supplementary material: sn.pub/extras
Inhalt
Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319448015
- Genre Information Technology
- Auflage 1st edition 2016
- Editor Dorel Lucanu
- Lesemotiv Verstehen
- Anzahl Seiten 204
- Größe H235mm x B155mm x T12mm
- Jahr 2016
- EAN 9783319448015
- Format Kartonierter Einband (Kt)
- ISBN 3319448013
- Veröffentlichung 18.08.2016
- Titel Rewriting Logic and Its Applications
- Untertitel 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
- Gewicht 318g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
