{"product_id":"bloem-roderick-software-verification-13th-international-conference-vstte-2021-new-haven-ct-usa-october-18-19-2021-and-14th-international-workshop-nsv-2021-and-software-engineering-band-13124-9783030955601","title":"Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... and Software Engineering, Band 13124)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53705588965718,"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_9783030955601_1_1c0dee4b-27ef-4928-bf0a-335539c9688e.jpg?v=1781760468","url":"https:\/\/www.momoxbooks.com\/products\/bloem-roderick-software-verification-13th-international-conference-vstte-2021-new-haven-ct-usa-october-18-19-2021-and-14th-international-workshop-nsv-2021-and-software-engineering-band-13124-9783030955601","provider":"momoxbooks","version":"1.0","type":"link"}