{"product_id":"9783032352972","title":"Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2-4, 2026, Proceedings (Lecture Notes in Computer Science)","description":"","brand":"Springer, Berlin; Springer Nature Switzerland; Springer","offers":[{"title":"Default Title","offer_id":49035879710955,"sku":"00000_00000_00000_00000","price":164.78,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9783032352972","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}