Willkommen, schön sind Sie da!
Logo Ex Libris

Rewriting Logic and Its Applications

  • E-Book (pdf)
  • 185 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 59.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.

Produktinformationen

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
Editor:
EAN: 9783319448022
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 185
Veröffentlichung: 17.08.2016
Dateigrösse: 7.0 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"