{"product_id":"9783031377082","title":"Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science 13966) (1st ed. 2023. 2023. xvii, 502 S. XVII, 502 p. 140 illus., 88 illus. in)","description":"","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; CAV SO","offers":[{"title":"Default Title","offer_id":48848223338731,"sku":"00000_00000_00000_00000","price":91.54,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031377082","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}