Program Construction |
|
| Author:
| Stone, R. G.
Cooke, D. J. |
| Series title: | Cambridge Computer Science Texts |
| ISBN: | 978-0-521-31883-9 |
| Publication Date: | Feb 1987 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | USD $65.99 |
Book Description:
|
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.