{"product_id":"9783319488684","title":"Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science .9971) (1st ed. 2016. 2016. xiv, 199 S. 36 SW-Abb. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":52381327032631,"sku":"00000_00000_00000_00000","price":297.93,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783319488684-1.jpg?v=1787302330","url":"https:\/\/kinokuniya.com.my\/products\/9783319488684","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}