{"product_id":"9783540741275","title":"Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Italy, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science) \u003cVol. 4428\u003e","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":42567589298251,"sku":"00000_00000_00000_00000","price":1960.57,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9783540741275","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}