{"title":"Markus Roggenbach","description":null,"products":[{"product_id":"recent-trends-in-algebraic-development-techniques-springer-nature-switzerland-ag-9783030737849-25th-international-workshop-wadt-2020-virtual-event-april-29-2020-revised-selected-papers-markus-roggenbach","title":"Recent Trends in Algebraic Development Techniques","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eRecent Trends in Algebraic Development Techniques\u003c\/strong\u003e by \u003cstrong\u003eMarkus Roggenbach\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, this first edition spans 165 pages and presents a comprehensive collection of thoroughly refereed post-conference proceedings from the 25th International Workshop on Algebraic Development Techniques (WADT 2020). Hosted virtually in April 2020, the book features 7 meticulously revised papers, along with an invited paper, selected from a competitive pool of 9 submissions. Ideal for researchers and practitioners in the field, this volume encapsulates the latest advancements and methodologies in algebraic development, making it a valuable addition to your academic library. Enhance your understanding of algebraic techniques and stay updated with the trends shaping the future of this dynamic discipline.\u003c\/p\u003e","brand":"Markus Roggenbach","offers":[{"title":"Default Title","offer_id":52262460358998,"sku":"9783030737849","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030737849.jpg?v=1767793915"},{"product_id":"formal-methods-for-software-engineering-springer-nature-switzerland-ag-9783030387990-languages-methods-application-domains-markus-roggenbach","title":"Formal Methods for Software Engineering","description":"","brand":"Markus Roggenbach","offers":[{"title":"Default Title","offer_id":52274326896982,"sku":"9783030387990","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030387990.jpg?v=1767812567"},{"product_id":"formal-methods-for-software-engineering-springer-nature-switzerland-ag-9783030388027-languages-methods-application-domains-markus-roggenbach","title":"Formal Methods for Software Engineering","description":"","brand":"Markus Roggenbach","offers":[{"title":"Default Title","offer_id":52274326995286,"sku":"9783030388027","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030388027.jpg?v=1767812567"}],"url":"https:\/\/www.englishbook.pl\/collections\/markus-roggenbach.oembed","provider":"Bookshop","version":"1.0","type":"link"}