{"product_id":"9783031656293","title":"Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14682) (2024. 2024. xiv, 418 S. Approx. 500 p. 235 mm)","description":"","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN","offers":[{"title":"Default Title","offer_id":49234831933667,"sku":"00000_00000_00000_00000","price":49.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/usa.kinokuniya.com\/products\/9783031656293","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}