Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ... Computer Science and General Issues)
Product details
| Management number | 232087154 | Release Date | 2026/06/18 | List Price | $18.96 | Model Number | 232087154 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3319448013 |
|---|---|
| ISBN13 | 978-3319448015 |
| Edition | 1st ed. 2016 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.46 x 9.25 inches |
| Item Weight | 6.98 pounds |
| Print length | 200 pages |
| Publication date | August 18, 2016 |
Bestseller ranking
Indie Rock
Customers who viewed this product also viewed
Tortellini
![Italian Sausage Tortelloni contains a generous filling of roasted Italian Sausage and three delicious cheeses. The blend of Ricotta, Mozzarella, and Parmesan Cheeses in a tender dough will melt in your mouth. This tortellini pairs very well with tomato sauce, pesto or butter, and can also be used as an ingredient in a variety of soups. A great value for an easy meal, ready to eat in less than 10 minutes. [36 oz , 2.25 lb ]](https://m.media-amazon.com/images/I/51DgQeHLMaL.jpg)
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form