A Practical Theory of Programming
Eric C. R. Hehner
Broschiertes Buch

A Practical Theory of Programming

Versandkostenfrei!
Versandfertig in 1-2 Wochen
38,99 €
inkl. MwSt.
PAYBACK Punkte
19 °P sammeln!
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 be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoa...