{"product_id":"recent-trends-in-algebraic-development-techniques-von-undefined-2","title":"Recent Trends in Algebraic Development Techniques","description":"\n                                \n                \u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031889295\"\u003e\u003ch3\u003e27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031889295","offer_id":54768823894341,"sku":"9783031889295","price":117.69,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f1821695-32cd-45c8-9006-658a0cacd305.jpg?v=1773465498","url":"https:\/\/shop.autorenwelt.de\/products\/recent-trends-in-algebraic-development-techniques-von-undefined-2","provider":"Autorenwelt Shop","version":"1.0","type":"link"}