{"product_id":"9783030852474","title":"Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Lecture Notes in Computer Science 12863) (1st ed. 2021. 2021. xii, 249 S. 23 SW-Abb. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48827535720683,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783030852474","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}