Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
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 (Paperback, 1st ed. 2016)
Loot Price: R2,087
Discovery Miles 20 870
|
|
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 (Paperback, 1st ed. 2016)
Series: Theoretical Computer Science and General Issues, 9942
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.