1441486
9780521318839
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.Stone, R. G. is the author of 'Program Construction' with ISBN 9780521318839 and ISBN 0521318831.
[read more]