{"product_id":"9783540196358","title":"Formal Methods for Trustworthy Computer Systems (FM89), 1 : Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23 27 July 1989, Halifax, Canada (Workshops in Computing) (1st Edition. 1990. x, 248 S. 1 SW-Abb.","description":"\u003cp\u003eX, 248 p. 1 illus.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER LONDON; SPRINGER","offers":[{"title":"Default Title","offer_id":48761129861355,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783540196358-1.jpg?v=1781723011","url":"https:\/\/kinokuniya.com.sg\/products\/9783540196358","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}