Program Construction |
|
Author:
| Stone, R. G. Cooke, D. J. |
Series title: | Cambridge Computer Science Texts |
ISBN: | 978-1-139-17184-7 |
Publication Date: | Jun 2012 |
Publisher: | Cambridge University Press
|
Book Format: | Digital download and online |
List Price: | USD $520.00 |
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.