Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ... (Lecture Notes in Computer Science, 9942). This item is unavailable.
Language: English
Published by Springer, 2016
- Softcover
- New
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
AbeBooks seller since March 25, 2015
Condition: New
£ 55.95
Item description from seller
In English.
Seller Inventory # ria9783319448015_new
- Title
- Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ... (Lecture Notes in Computer Science, 9942)
- Publisher
- Springer
- Publication year
- 2016
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3319448013
- ISBN 13
- 9783319448015
- Item weight
- 442 grams
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.
"Synopsis" may belong to another edition of this title.