{"product_id":"rewriting-logic-and-its-applications-von-undefined-1","title":"Rewriting Logic and Its Applications","description":"\n                                \n                \u003cp\u003eThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.\u003c\/p\u003e\n                                \n                \u003cp\u003eThe 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319129037\"\u003e\u003ch3\u003e10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319129037","offer_id":40590530674781,"sku":"9783319129037","price":51.36,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/48e56159-f326-4751-a61a-62687bfc4d52.jpg?v=1773552593","url":"https:\/\/shop.autorenwelt.de\/en\/products\/rewriting-logic-and-its-applications-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}