{"product_id":"ionut-tutu-recent-trends-in-algebraic-development-techniques-9783031889295","title":"Recent Trends in Algebraic Development Techniques","description":"This 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.\n\u003cbr\u003e\nThe 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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53685894021462,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031889295_1.jpg?v=1778853886","url":"https:\/\/www.momoxbooks.com\/products\/ionut-tutu-recent-trends-in-algebraic-development-techniques-9783031889295","provider":"momoxbooks","version":"1.0","type":"link"}