{"product_id":"g-kim-larsen-computer-aided-verification-14th-international-conference-cav-2002-copenhagen-denmark-july-27-31-2002-proceedings-lecture-notes-in-computer-science-2404-band-2404-9783540439974","title":"Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404, Band 2404)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53717217083734,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540439974_1_30a122b9-7f71-4a24-b54d-05d368131d14.jpg?v=1781768636","url":"https:\/\/www.momoxbooks.com\/products\/g-kim-larsen-computer-aided-verification-14th-international-conference-cav-2002-copenhagen-denmark-july-27-31-2002-proceedings-lecture-notes-in-computer-science-2404-band-2404-9783540439974","provider":"momoxbooks","version":"1.0","type":"link"}