{"product_id":"9783662452301","title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8803) (2014. 2014. xviii, 644 S. 187 SW-Abb.,. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE","offers":[{"title":"Default Title","offer_id":45520307355727,"sku":"00000_00000_00000_00000","price":1925.0,"currency_code":"TWD","in_stock":false}],"url":"https:\/\/kinokuniya.com.tw\/products\/9783662452301","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}