{"product_id":"kurt-sieber-the-foundations-of-program-verification-series-in-computer-science-9783519121015","title":"The Foundations of Program Verification (Series in Computer Science)","description":null,"brand":"Vieweg+Teubner Verlag","offers":[{"title":"Default Title","offer_id":53751698325846,"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_9783519121015_1.jpg?v=1778903862","url":"https:\/\/www.momoxbooks.com\/products\/kurt-sieber-the-foundations-of-program-verification-series-in-computer-science-9783519121015","provider":"momoxbooks","version":"1.0","type":"link"}