{"product_id":"9783540662020","title":"Computer Aided Verification, CAV 1999 : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science Vol.1633) (1999. XII, 506 p. 23,5 cm)","description":"\u003cp\u003eXIV, 506 p.\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":42563135209547,"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\/9783540662020-1.jpg?v=1783506717","url":"https:\/\/kinokuniya.co.th\/products\/9783540662020","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}