{"product_id":"verified-software-theories-tools-and-experiments-17th-international-conference-vstte-2025-menlo-park-ca-usa-october-6-2025-revised-selected","title":"Verified Software. Theories, Tools and Experiments: 17th International Conference, Vstte 2025, Menlo Park, Ca, Usa, October 6, 2025, Revised Selected","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":52276786856221,"sku":"9783032273390","price":62.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0901\/5692\/5213\/files\/9783032273390.jpg?v=1784749678","url":"https:\/\/bookdelico.com\/products\/verified-software-theories-tools-and-experiments-17th-international-conference-vstte-2025-menlo-park-ca-usa-october-6-2025-revised-selected","provider":"Book Delico ","version":"1.0","type":"link"}