Download A Practical Theory of Programming by Eric C.R. Hehner (.PDF)
A Practical Theory of Programming by Eric C.R. Hehner (2011-1-3 edition)Requirements: PDF Reader, 1.4 MBOverview: There are several theories of programming. The first usable theory, often called “Hoare’s Logic,” is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will […]