{"product_id":"logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319274355-25th-international-symposium-lopstr-2015-siena-italy-july-13-15-2015-revised-selected-papers-moreno-falaschi","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Logic-Based Program Synthesis and Transformation,\" authored by Moreno Falaschi. Published by Springer International Publishing AG in 2015, this first edition spans 385 pages and offers a comprehensive exploration of the latest advancements in the field. This book presents the thoroughly refereed post-conference proceedings from the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), which took place in Siena, Italy. Within its pages, you will find 21 meticulously revised full papers alongside 3 invited talks, all selected from a competitive pool of 30 submissions. This essential resource is perfect for researchers, practitioners, and students eager to delve into the innovative techniques and methodologies shaping logic-based programming today. Enhance your understanding and stay ahead in the rapidly evolving landscape of program synthesis and transformation.\u003c\/p\u003e","brand":"Moreno Falaschi","offers":[{"title":"Default Title","offer_id":52236360778070,"sku":"9783319274355","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319274355.jpg?v=1767757044","url":"https:\/\/www.englishbook.pt\/products\/logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319274355-25th-international-symposium-lopstr-2015-siena-italy-july-13-15-2015-revised-selected-papers-moreno-falaschi","provider":"Bookshop","version":"1.0","type":"link"}