从规范出发的程序设计

收藏
  • 【作者】(美)Carroll Morgan著;裘宗燕译
  • 【关键词】程序设计 基本知识
  • 【出版社】机械工业出版社
  • 【出版日期】2002
  • 【ISBN】7-111-10847-7
  • 【中图分类号】 TP311.1
  • 【内容简介】本书论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等。全部展开
  • 【页码】9,314页
  • 【丛书名】软件工程技术丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 嘉兴市图书馆 德清县图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。