{"product_id":"aarti-gupta-computer-aided-verification-20th-international-conference-cav-2008-princeton-nj-usa-july-7-14-2008-proceedings-theoretical-computer-science-and-general-issues-band-5123-9783540705437","title":"Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Theoretical Computer Science and General Issues, Band 5123)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53683446546774,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/aarti-gupta-computer-aided-verification-20th-international-conference-cav-2008-princeton-nj-usa-july-7-14-2008-proceedings-theoretical-computer-science-and-general-issues-band-5123-9783540705437","provider":"momoxbooks","version":"1.0","type":"link"}