Books > Computing & IT > Computer programming
|
Not currently available
The Design of Well-Structured and Correct Programs (Paperback, Softcover reprint of the original 1st ed. 1978)
Loot Price: R1,499
Discovery Miles 14 990
|
|
The Design of Well-Structured and Correct Programs (Paperback, Softcover reprint of the original 1st ed. 1978)
Series: Monographs in Computer Science
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
The major goal of this book is to present the techniques of
top-down program design and verification of program correctness
hand-in-hand. It thus aims to give readers a new way of looking at
algorithms and their design, synthesizing ten years of research in
the process. It provides many examples of program and proof
development with the aid of a formal and informal treatment of
Hoare's method of invariants. Modem widely accepted control
structures and data structures are explained in detail, together
with their formal definitions, as a basis for their use in the
design of correct algorithms. We provide and apply proof rules for
a wide range of program structures, including conditionals, loops,
procedures and recur sion. We analyze situations in which the
restricted use of gotos can be justified, providing a new approach
to proof rules for such situations. We study several important
techniques of data structuring, including arrays, files, records
and linked structures. The secondary goal of this book is to teach
the reader how to use the programming language Pascal. This is the
first text to teach Pascal pro gramming in a fashion which not only
includes advanced algorithms which operate on advanced data
structures, but also provides the full axiomatic definition of
Pascal due to Wirth and Hoare. Our approach to the language is very
different from that of a conventional programming text."
General
Imprint: |
Springer-Verlag New York
|
Country of origin: |
United States |
Series: |
Monographs in Computer Science |
Release date: |
October 2011 |
First published: |
1978 |
Authors: |
Suad Alagi c
• Michael A Arbib
|
Dimensions: |
235 x 155 x 17mm (L x W x T) |
Format: |
Paperback
|
Pages: |
292 |
Edition: |
Softcover reprint of the original 1st ed. 1978 |
ISBN-13: |
978-1-4612-6274-9 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
1-4612-6274-7 |
Barcode: |
9781461262749 |
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.