{"product_id":"computer-aided-verification-38th-international-conference-cav-2026-lisbon-portugal-july-26-29-2026-proceedings-part-i","title":"Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":52657286873373,"sku":"9783032325181","price":56.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0901\/5692\/5213\/files\/9783032325181.jpg?v=1785361644","url":"https:\/\/bookdelico.com\/products\/computer-aided-verification-38th-international-conference-cav-2026-lisbon-portugal-july-26-29-2026-proceedings-part-i","provider":"Book Delico ","version":"1.0","type":"link"}