{"product_id":"9780470876183","title":"Formal Methods for Industrial Critical Systems : A Survey of Applications","description":"\u003cp\u003eToday, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.\u003c\/p\u003e","brand":"IEEE Computer Society","offers":[{"title":"Default Title","offer_id":48685229342955,"sku":"00000_00000_00000_00000","price":194.01,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780470876183-1.jpg?v=1781624348","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9780470876183","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}