{"product_id":"logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783031712937-34th-international-symposium-lopstr-2024-milan-italy-september-9-10-2024-proceedings-juliana-bowles","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the cutting-edge insights of \u003cstrong\u003eLogic-Based Program Synthesis and Transformation\u003c\/strong\u003e by \u003cstrong\u003eJuliana Bowles\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024. This comprehensive volume features the refereed proceedings of the esteemed 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), which took place in Milan, Italy, on September 9–10, 2024.\u003c\/p\u003e \n\n\u003cp\u003eInside this engaging paperback edition, you will find 12 full papers and 1 short paper, all meticulously reviewed and selected from a competitive pool of 28 submissions. Spanning 241 pages, this book is a vital resource for researchers and practitioners interested in the latest advancements in logic-based program synthesis and transformation techniques. Enhance your knowledge and stay ahead in the field with this essential addition to your library.\u003c\/p\u003e","brand":"Juliana Bowles","offers":[{"title":"Default Title","offer_id":52261820301654,"sku":"9783031712937","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031712937.jpg?v=1767793095","url":"https:\/\/www.englishbook.fi\/products\/logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783031712937-34th-international-symposium-lopstr-2024-milan-italy-september-9-10-2024-proceedings-juliana-bowles","provider":"Bookshop","version":"1.0","type":"link"}