{"product_id":"9780387341552","title":"Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":42733318045771,"sku":"00000_00000_00000_00000","price":3921.51,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/th\/products\/9780387341552","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}