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