Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlan by Dorel Lucanu

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite…

byDorel Lucanu

Kobo ebook | August 17, 2016

Pricing and Purchase Info

$52.89 online 
$66.05 list price save 19%

Prices and offers may vary in store

Available for download

Not available in stores

about

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.

Title:Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite…Format:Kobo ebookPublished:August 17, 2016Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319448021

ISBN - 13:9783319448022

Look for similar items by category:

Reviews