{"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":48782391214315,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9783662452301","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}