{"product_id":"9783030296612","title":"Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (Lecture Notes in Computer Science .11750) (1st ed. 2019. 2019. xvi, 301 S. 196 SW-Abb., 41 Farbabb. 2","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48814776615147,"sku":"00000_00000_00000_00000","price":97.03,"currency_code":"SGD","in_stock":false}],"url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9783030296612","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}