{"product_id":"boro-sitnikovski-introducing-software-verification-with-dafny-language-proving-program-correctness-9781484279779","title":"Introducing Software Verification with Dafny Language: Proving Program Correctness","description":null,"brand":"Apress","offers":[{"title":"Default Title","offer_id":53696750027094,"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_9781484279779_1.jpg?v=1778862351","url":"https:\/\/www.momoxbooks.com\/products\/boro-sitnikovski-introducing-software-verification-with-dafny-language-proving-program-correctness-9781484279779","provider":"momoxbooks","version":"1.0","type":"link"}