{"product_id":"9780792374701","title":"Formal Techniques for Networked and Distributed Systems : Forte 2001 : Ifip Tc5\/Wg6.1-21st International Conference on Formal Techniques for Networked","description":"","brand":"Kluwer Academic Pub","offers":[{"title":"Default Title","offer_id":48677444223211,"sku":"00000_00000_00000_00000","price":402.84,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9780792374701","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}