{"product_id":"9783319088662","title":"Computer Aided Verification (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8559) (2014. 2014. xxxiv, 877 S. 205 SW-Abb.,. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":45519389524047,"sku":"00000_00000_00000_00000","price":3850.0,"currency_code":"TWD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0672\/9174\/2287\/files\/9783319088662-1.jpg?v=1783325763","url":"https:\/\/kinokuniya.com.tw\/products\/9783319088662","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}