{"product_id":"9783030988685","title":"Logic-Based Program Synthesis and Transformation","description":"This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic. ","brand":"Emanuele De Angelis","offers":[{"title":"Default Title","offer_id":47598528954686,"sku":"9783030988685","price":2346.5,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783030988685.jpg?v=1707700809","url":"https:\/\/exclusivebooks.co.za\/products\/9783030988685","provider":"Exclusive Books Online","version":"1.0","type":"link"}