{"product_id":"9783642322105","title":"Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .7225) (2012. 201","description":"\u003cp\u003eX, 254 p. 61 illus.\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":52363298799927,"sku":"00000_00000_00000_00000","price":390.09,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783642322105-1.jpg?v=1783272986","url":"https:\/\/kinokuniya.com.my\/products\/9783642322105","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}