{"product_id":"9783319431437","title":"Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science .9807) (1st ed. 2016. 2016. xvii, 502 S. 88 SW-Abb. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":42593238024267,"sku":"00000_00000_00000_00000","price":1960.57,"currency_code":"THB","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0641\/0023\/7387\/files\/9783319431437-1.jpg?v=1792506698","url":"https:\/\/kinokuniya.co.th\/th\/products\/9783319431437","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}