{"product_id":"logic-based-program-synthesis-and-transformation-von-undefined-2","title":"Logic-Based Program Synthesis and Transformation","description":"\n                                This book constitutes the refereed proceedings of the 32\n                \n                \u003csup\u003end\u003c\/sup\u003e\n                                 International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.\n                \n                \u003cbr\u003e\n                                 The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031167669\"\u003e\u003ch3\u003e32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031167669","offer_id":40517080285277,"sku":"9783031167669","price":58.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5a7a49ea-cc07-461e-93bb-f28e739a06ea.jpg?v=1773552868","url":"https:\/\/shop.autorenwelt.de\/products\/logic-based-program-synthesis-and-transformation-von-undefined-2","provider":"Autorenwelt Shop","version":"1.0","type":"link"}