{"product_id":"9783642317613","title":"Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science \/ Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)","description":"\u003cp\u003eX, 251 p. 34 illus.\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":52363296866615,"sku":"00000_00000_00000_00000","price":270.84,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783642317613-1.jpg?v=1783272984","url":"https:\/\/kinokuniya.com.my\/products\/9783642317613","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}