|
Books > Computing & IT > Computer programming
|
Buy Now
A Practical Theory of Programming (Hardcover, 1993 ed.)
Loot Price: R1,693
Discovery Miles 16 930
|
|
|
A Practical Theory of Programming (Hardcover, 1993 ed.)
Series: Monographs in Computer Science
Expected to ship within 12 - 17 working days
|
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
relation. Temporal Logic is yet another formalism that introduces
some special operators and quantifiers to describe some aspects of
computation. The theory in this book is simpler than any of those
just mentioned. In it, a specification is just a boolean
expression. Refinement is just ordinary implication. This theory is
also more general than those just mentioned, applying to both
terminating and nonterminating computation, to both sequential and
parallel computation, to both stand-alone and interactive
computation. And it includes time bounds, both for algorithm
classification and for tightly constrained real-time applications.
General
| Imprint: |
Springer-Verlag New York
|
| Country of origin: |
United States |
| Series: |
Monographs in Computer Science |
| Release date: |
August 1993 |
| First published: |
1993 |
| Authors: |
Eric C.R. Hehner
|
| Dimensions: |
254 x 178 x 15mm (L x W x T) |
| Format: |
Hardcover
|
| Pages: |
247 |
| Edition: |
1993 ed. |
| ISBN-13: |
978-0-387-94106-6 |
| Categories: |
Books >
Computing & IT >
Computer programming >
General
Promotions
|
| LSN: |
0-387-94106-1 |
| Barcode: |
9780387941066 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
