Program Construction(Cambridge Computer Science Texts)

计算机软件

原   价:
523.00
售   价:
418.00
优惠
平台大促 低至8折优惠
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
1987年02月01日
装      帧
平装
ISBN
9780521318839
复制
页      码
384
开      本
228×152×22mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 60 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
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.
馆藏图书馆
Harvard Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个