{"product_id":"9783319539454","title":"Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science .694) (1st ed. 2017. 2017. xii, 161 S. 40 SW-Abb. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":48800108642539,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783319539454","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}