{"product_id":"rigorous-software-development-an-introduction-to-program-verification-second-2026","title":"Rigorous Software Development: An Introduction to Program Verification (Second 2026)","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":51858098422045,"sku":"9781447175575","price":74.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0901\/5692\/5213\/files\/9781447175575.jpg?v=1781041124","url":"https:\/\/bookdelico.com\/products\/rigorous-software-development-an-introduction-to-program-verification-second-2026","provider":"Book Delico ","version":"1.0","type":"link"}