{"product_id":"9783319274355","title":"Logic-Based Program Synthesis and Transformation","description":"This book constitutes the thoroughly refereed\npost-conference proceedings of the 25th International Symposium on Logic-Based\nProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in\nJuly 2015.\n\nThe 21 revised full papers presented together with 3\ninvited talks were carefully reviewed and selected from 30 submissions. The aim\nof the LOPSTR series is to stimulate and promote international research and\ncollaboration on logic-based program development. LOPSTR is open to\ncontributions in all aspects of logic-based program development, all stages of\nthe software life cycle, and issues of both programming-in-the-small and\nprogramming-in-the-large.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2015\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 6088\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Moreno Falaschi","offers":[{"title":"Default Title","offer_id":41246296441010,"sku":"9783319274355","price":87.36,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/331927435X.01_SCLZZZZZZZ.jpg?v=1635644447","url":"https:\/\/readabook.store\/products\/9783319274355","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}