{"product_id":"program-construction-calculating-implementations-from-specifications-9780470848821","title":"Program Construction: Calculating Implementations from Specifications","description":"\u003cp\u003e • Author(s): Roland Backhouse\u003cbr\u003e • Publisher: Wiley\u003cbr\u003e • Publisher Imprint: Wiley\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003eMost texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. \u003ci\u003eProgram Construction\u003c\/i\u003e illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet their specifications, the book details program construction principles in a straightforward fashion, avoiding overly complicated theory, and then illustrating each with convincing examples.\u003c\/p\u003e","brand":"Wiley","offers":[{"title":"Paperback","offer_id":45201574887575,"sku":"9780470848821","price":6147.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780470848821.webp?v=1767307427","url":"https:\/\/atlanticbooks.com\/products\/program-construction-calculating-implementations-from-specifications-9780470848821","provider":"Atlantic Books","version":"1.0","type":"link"}