{"product_id":"logic-based-program-synthesis-and-transformation-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642381966-22nd-international-symposium-lopstr-2012-leuven-belgium-september-18-20-2012-revised-selected-papers-elvira-albert","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the innovative world of program synthesis with \u003cstrong\u003eLogic-Based Program Synthesis and Transformation\u003c\/strong\u003e by \u003cstrong\u003eElvira Albert\u003c\/strong\u003e. This insightful book is the thoroughly refereed post-conference proceedings from the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012), held in Leuven, Belgium in September 2012. Published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2013, this edition spans \u003cstrong\u003e245 pages\u003c\/strong\u003e of cutting-edge research and discussions in the field. Ideal for researchers, practitioners, and students interested in logic programming, this book provides a comprehensive overview of the latest advancements and methodologies in program synthesis and transformation. Enhance your understanding and stay updated with the essential concepts that shape this dynamic area of computer science.\u003c\/p\u003e","brand":"Elvira Albert","offers":[{"title":"Default Title","offer_id":52236359762262,"sku":"9783642381966","price":50.92,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642381966.jpg?v=1767757040","url":"https:\/\/www.englishbook.fi\/products\/logic-based-program-synthesis-and-transformation-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642381966-22nd-international-symposium-lopstr-2012-leuven-belgium-september-18-20-2012-revised-selected-papers-elvira-albert","provider":"Bookshop","version":"1.0","type":"link"}