Delivery included to the United States

Rewriting Logic and Its Applications

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 - Lecture Notes in Computer Science

Paperback (18 Aug 2016)

Save $8.19

  • RRP $61.51
  • $53.32
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783319448015
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
DEWEY: 005.131
DEWEY edition: 23
Language: English
Number of pages: 185
Weight: 290g
Height: 235mm
Width: 155mm
Spine width: 11mm