Springer
Rewriting Logic and Its Applications: 11th International Workshop, Wrla 2016, Held as a Satellite Event of Etaps, Eindhoven, the Netherlands, April 2-
Product Code:
9783319448015
ISBN13:
9783319448015
Condition:
New
$61.47
Rewriting Logic and Its Applications: 11th International Workshop, Wrla 2016, Held as a Satellite Event of Etaps, Eindhoven, the Netherlands, April 2-
$61.47
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.
| Author: Dorel Lucanu |
| Publisher: Springer |
| Publication Date: Aug 18, 2016 |
| Number of Pages: 185 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3319448013 |
| ISBN-13: 9783319448015 |
Related Products
