{"product_id":"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-von-dorel-lucanu-dorel-lucanu-hrsg","title":"Rewriting Logic and Its Applications","description":"\n                                \n                \u003cp\u003eThis 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319448015\"\u003e\u003ch3\u003e11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319448015","offer_id":39426332852317,"sku":"9783319448015","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/21ba1630-c01e-4692-a853-37449de17069.jpg?v=1773552324","url":"https:\/\/shop.autorenwelt.de\/products\/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-von-dorel-lucanu-dorel-lucanu-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}