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