{"product_id":"program-proofs-paperback-9780262546232","title":"Program Proofs (Paperback)","description":"\u003cp\u003eK. Rustan M. Leino introduces formal reasoning about programs using the verification-aware language Dafny.\u003c\/p\u003e","brand":"The MIT Press","offers":[{"title":"Default Title","offer_id":53111013507359,"sku":"9780262546232","price":61.96,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0931\/6027\/6255\/files\/81H0qfzBAmL.jpg?v=1792775369","url":"https:\/\/thelimitlesschapters.com\/products\/program-proofs-paperback-9780262546232","provider":"Limitless Chapters","version":"1.0","type":"link"}