手机版 | 网站地图 | 设为首页
网站颜色：
首页
设计资讯
优势展厅
设计需求
设计交易
设计公司联盟
促销套餐
人才招聘
团购设计
点评
装饰装修

正版二手9787118029727程序设计方法学 胡正国,吴健,邓正宏著 国

  • 书名:程序设计方法学

注意：1、此书为旧书！！！！！2、库存不准，拍前3、只剩下书本，都没有光盘、电子课件等新书附带的东西！！！！

基本信息

书名:程序设计方法学

原价：23.(咨询特价)

作者:胡正国，吴健，邓正宏 编著

出版社：国防工业出版社

出版日期：2003-1-1

ISBN(咨询特价)

字数：(咨询特价)

页码：266

版次：1

装帧：平装

开本：

商品重量：

编辑推荐

程序设计方法学是20世纪60年代末到70年代初形成和发震来的计算机科学领域中的一个新兴学科。近年来，这一学科的发展比较迅速，取得了不少令人鼓舞的成果。为了介绍这一学科的一些基本内容，我们在多年进行这方面教学的基础上编写了这本教材。

内容提要

本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和程序设计方法学基础等。 本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。

目录

作者介绍

文摘

序言

热门设计服务
周边城市程序修改: 哈尔滨程序修改销售 齐齐哈尔程序修改购物 鸡西程序修改购买 鹤岗程序修改销售 双鸭山程序修改购物 大庆程序修改购买 伊春程序修改销售 佳木斯程序修改购物 牡丹江程序修改购买 黑河程序修改销售 绥化程序修改购物 大兴安岭程序修改购买 黑龙江程序修改销售
设计联盟中国城市程序修改: 北京设计程序修改购买 上海设计程序修改销售 天津设计程序修改分销 重庆设计程序修改购物 广州设计程序修改购买 深圳设计程序修改销售 杭州设计程序修改销售 合肥设计程序修改购物 福州设计程序修改购买 兰州设计程序修改购物 南宁设计程序修改购物 贵阳设计程序修改销售 海口设计程序修改购买 石家庄设计程序修改分销 郑州设计程序修改购买 哈尔滨设计程序修改销售 武汉设计程序修改购买 长沙设计程序修改购物 南京设计程序修改购买 沈阳设计程序修改购买 大连设计程序修改销售 银川设计程序修改购买 西宁设计程序修改销售 济南设计程序修改分销 青岛设计程序修改购买 太原设计程序修改购物 西安设计程序修改购买 成都设计程序修改购买 拉萨设计程序修改销售 乌鲁木齐设计程序修改购买 昆明设计程序修改分销