{"product_id":"9783642333644","title":"Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .7595) (2012. 2012. X, 267 S.","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":48771925541099,"sku":"00000_00000_00000_00000","price":91.54,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783642333644","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}