{"product_id":"9781871516982","title":"Logical Derivation of Computer Programs","description":"As a textbook for a one-semester course on program derivation, the method constitutes a powerful new tool for creating error-free programs and showing students a rigorous mathematical approach to programming.\u003cp\u003eClass-tested by the author throughout its development, the book has down-to-earth explanations, lots of details, cogent examples, and solved exercises that contain material either previously published or strongly influenced by the computer science literature.  \u003c\/p\u003e","brand":"Intellect, Limited","offers":[{"title":"Default Title","offer_id":47019106894064,"sku":"9781871516982","price":35.5,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781871516982_p0.jpg?v=1763602134","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781871516982","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}