{"id":8171,"date":"2022-12-03T15:05:43","date_gmt":"2022-12-03T15:05:43","guid":{"rendered":"https:\/\/koeky.nl\/boeken\/product\/program-construction-calculating-implementations-from-specifications\/"},"modified":"2022-12-03T15:05:46","modified_gmt":"2022-12-03T15:05:46","slug":"program-construction-calculating-implementations-from-specifications","status":"publish","type":"product","link":"https:\/\/koeky.nl\/boeken\/product\/program-construction-calculating-implementations-from-specifications\/","title":{"rendered":"Program Construction \u2013 Calculating Implementations  from Specifications"},"content":{"rendered":"<p>Calculating Implementations from Specifications<\/p>\n<p>Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers.<br \/>\n<i>Program Construction<\/i> illustrates the importance of math and logic to programming, providing a complete, self\u2013contained account of the principles of logical reasoning.<\/p>\n<p>&nbsp;<\/p>\n<p>Auteur: R Backhouse<\/p>\n<p>Taal: Engels<\/p>\n<p>Bindwijze: paperback<\/p>\n<p>Rubriek: Programmeren<\/p>\n<p>Leverbaarheid: Direct leverbaar<\/p>\n<p>Uitgever: John Wiley &#038; Sons<\/p>\n<p>Verschijningsdatum: <\/p>\n<p>Trefwoord:<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<ul>\n<li>Unique approach tackles what most books don?t\u2013why maths and logic are fundamental tools for a programmer<\/li>\n<li>This comprehensive guide is a balanced combination of mathematical theory and the practice of programming<\/li>\n<li>Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions<\/li>\n<li>Includes a wide range of entertaining and challenging examples and exercises<\/li>\n<\/ul>\n","protected":false},"featured_media":8172,"comment_status":"closed","ping_status":"open","template":"","meta":[],"product_brand":[],"product_cat":[47],"product_tag":[],"class_list":{"0":"post-8171","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-programmeren","8":"first","9":"instock","10":"product-type-external"},"_links":{"self":[{"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/product\/8171","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/comments?post=8171"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/media\/8172"}],"wp:attachment":[{"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/media?parent=8171"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/product_brand?post=8171"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/product_cat?post=8171"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/koeky.nl\/boeken\/wp-json\/wp\/v2\/product_tag?post=8171"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}