(Download) "Rewriting Logic and Its Applications" by Dorel Lucanu # eBook PDF Kindle ePub Free
eBook details
- Title: Rewriting Logic and Its Applications
- Author : Dorel Lucanu
- Release Date : January 17, 2016
- Genre: Programming,Books,Computers & Internet,Software,Computers,Science & Nature,Mathematics,
- Pages : * pages
- Size : 5723 KB
Description
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.
 "Rewriting Logic and Its Applications" by Dorel Lucanu # eBook PDF Kindle ePub Free){kind=link}