.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Practical Theory of Programming
Eric C.R. Hehner
€ 74.32
FREE Delivery in Ireland
Description for Practical Theory of Programming
Hardback. Explores various aspects of programming that are amenable to mathematical proof. This book is useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. Series: Monographs in Computer Science. Num Pages: 257 pages, biography. BIC Classification: UM. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 15. Weight in Grams: 670.
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
Hardback
Publication date
1993
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
9780387941066
SKU
V9780387941066
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Practical Theory of Programming