{"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":52371491225911,"sku":"00000_00000_00000_00000","price":297.93,"currency_code":"MYR","in_stock":true}],"url":"https:\/\/kinokuniya.com.my\/ja\/products\/9783662452332","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}