{"product_id":"9783642540127","title":"Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8318) (2014.","description":"","brand":"SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG","offers":[{"title":"Default Title","offer_id":48779873255659,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783642540127","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}