{"product_id":"9783031656323","title":"Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science 14683) (2024. 2024. xiv, 569 S. Approx. 500 p. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN","offers":[{"title":"Default Title","offer_id":48857338151147,"sku":"00000_00000_00000_00000","price":64.68,"currency_code":"SGD","in_stock":false}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031656323","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}