{"product_id":"logic-program-synthesis-and-transformation-book-kung-kiu-lau-9783540198062","title":"Logic Program Synthesis and Transformation","description":"Logic program synthesis and transformation are topics of central importance to the software industry. Logic Program Synthesis and  Transformation describes the latest advances in machine-assisted development of logic programs.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52665451708689,"sku":null,"price":0.0,"currency_code":"USD","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52665452724497,"sku":"NLS9783540198062","price":68.69,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540198062.jpg?v=1791912264","url":"https:\/\/www.worldofbooks.com\/products\/logic-program-synthesis-and-transformation-book-kung-kiu-lau-9783540198062","provider":"World of Books ","version":"1.0","type":"link"}