4721798
9780521268233
Out of Stock
The item you're looking for is currently unavailable.
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.R. G. Stone is the author of 'Program Construction (Cambridge Computer Science Texts)', published 1987 under ISBN 9780521268233 and ISBN 0521268230.
[read more]