{"product_id":"9783540208037","title":"Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) (2004. XI, 325 p. 23,5 cm)","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":42565007671371,"sku":"00000_00000_00000_00000","price":1960.57,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9783540208037","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}