Rewriting Logic and Its Applications
11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Rewriting Logic and Its Applications “
Klappentext zu „Rewriting Logic and Its Applications “
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.
Inhaltsverzeichnis zu „Rewriting Logic and Its Applications “
Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.
Bibliographische Angaben
- 2016, 1st ed. 2016, XV, 185 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Dorel Lucanu
- Verlag: Springer, Berlin
- ISBN-10: 3319448013
- ISBN-13: 9783319448015
- Erscheinungsdatum: 18.08.2016
Sprache:
Englisch
Kommentar zu "Rewriting Logic and Its Applications"
0 Gebrauchte Artikel zu „Rewriting Logic and Its Applications“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Rewriting Logic and Its Applications".
Kommentar verfassen