{"product_id":"9783642353079","title":"Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .7679) (2012. 2012. X, 305 S. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER","offers":[{"title":"Default Title","offer_id":48771932979435,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783642353079-1.jpg?v=1787221387","url":"https:\/\/kinokuniya.com.sg\/products\/9783642353079","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}