Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
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
Engelsk Paperback
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
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
185
ISBN-13:
9783319448015
Indbinding:
Paperback
Udgave:
ISBN-10:
3319448013
Udg. Dato:
18 aug 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
18 aug 2016
Forfatter(e):
Vi anbefaler også
Kategori sammenhænge