{"product_id":"joshi-rajeev-verified-software-theories-tools-experiments-4th-international-conference-vstte-2012-philadelphia-pa-usa-january-28-29-2012-proceedings-9783642277061","title":"Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53811143967062,"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_9783642277061_1.jpg?v=1781817011","url":"https:\/\/www.momoxbooks.com\/products\/joshi-rajeev-verified-software-theories-tools-experiments-4th-international-conference-vstte-2012-philadelphia-pa-usa-january-28-29-2012-proceedings-9783642277061","provider":"momoxbooks","version":"1.0","type":"link"}