分享给好友:
Program Construction - Cambridge Computer Science Texts R. G. Stone
Program Construction - Cambridge Computer Science Texts
R. G. Stone
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.
384 pages, illustrations, index
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1987年2月5日 |
| ISBN13 | 9780521318839 |
| 出版商 | Cambridge University Press |
| 页数 | 384 |
| 商品尺寸 | 230 × 152 × 27 mm · 578 g |
| 语言 | 英语 |