{"product_id":"logical-derivation-of-computer-programs-1744902923251","title":"Logical Derivation of Computer Programs","description":"\u003cp\u003eThis book presents a method that constitutes a powerful new tool for creating error-free programs and showing students a rigorous mathematical approach to programming. \u003c\/p\u003e\n\n\u003cp\u003eAs a textbook for a one-semester course on program derivation, the text develops a fresh new language-based logic for procedures to derie computer programs from formal specifications. This approach is based upon design philosophy, hence strongly related to the students' interests and background. \u003c\/p\u003e\n\n\u003cp\u003eThe book is designed to be challenging while not being difficult to understand by students exploring the field. Class-tested by the author throughout its development: the book has down-to-earth explanations, detailed and cogent examples, along with solved exercises. This material has not been previously published, and is not overly influenced by the computer science literature. \u003c\/p\u003e","brand":"Thomas G.Windekct","offers":[{"title":"Default Title","offer_id":50575928426788,"sku":"9781871516982","price":28.95,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0880\/7635\/3828\/files\/imageloader_4991adab-2f3c-436f-adc2-876fc66efdaa.gif?v=1744943766","url":"https:\/\/indiepubs.co.uk\/products\/logical-derivation-of-computer-programs-1744902923251","provider":"IndiePubs UK","version":"1.0","type":"link"}