Stock image for illustration purposes only - book cover, edition or condition may vary.
Practical Theory of Programming
Eric C.R. Hehner
€ 64.46
FREE Delivery in Ireland
Description for Practical Theory of Programming
Paperback. Series: Monographs in Computer Science. Num Pages: 257 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 14. Weight in Grams: 500.
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 Hoare's Logic), but the second predicate is a ... Read more
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 Hoare's Logic), but the second predicate is a ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
257
Condition
New
Series
Monographs in Computer Science
Number of Pages
247
Place of Publication
New York, NY, United States
ISBN
9781461264446
SKU
V9781461264446
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Practical Theory of Programming