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