分(次打分)
软件开发的形式化方法
| 作 者： | 古天龙 | ||
|---|---|---|---|
| 定 价： | 26.00元 | 出版时间： | 2005-01-31 |
| ISBN： | 978-7-04-016079-6 | 读者对象： | 高等教育 |
| 版面字数： | 370千字 | 一级分类： | 计算机/教育技术类 |
| 开本： | 16开 | 二级分类： | 计算机科学与技术专业课程 |
| 全书页数： | 265页 | 三级分类： | |
| 装帧形式： | 平装 | ||
| 重点项目： | |||
简介
展开全部∨
相关图书推荐
-
- 数据库系统工程师教程
- 柳玲 王成良 焦晓军
-
- 汇编语言程序设计实验指导及习题集
- 吴向军 李磊 梁志勇
-
- 网络工程师教程
- 胡维华
-
- 数据挖掘技术及应用
- 刘世平
-
- 计算方法简明教程
- 王能超
-
- 移动通信（第二版 翻译版）
- [德]Jochen Schiller，周正，王
-
- 网络管理员教程
- 范立南 周昕
-
- 数据库系统概论（第4版）(换封面，十二五）
- 王珊 萨师煊
-
- 高等学校计算机科学与技术专业发展战略研究报告暨专业规范（试行）
- 教育部高等学校计算机科学与技术教学指导委员会
-
- 全国高校软件工程专业教育年会论文集（2007）
- 全国高校软件工程专业教育年会组委会
-
- 并行算法实践
- 陈国良
浏览本书的读者还看过
-
- 1994年狄拉克纪念讲演录——软界面
- [法]P. G. 德热纳 著 吴大诚 陈谊 译
-
- Toeplitz 系统预处理方法
- 金小庆 著 庞宏奎 译
-
- 规范汉字书写方法与训练（第二版）
- 曹长远
-
- 林果生产技术（北方本）
- 汪晶 李锋
-
- 固体物理学习题解答
- 李延龄 吕华平
-
- 骨科手术并发症与预防策略
- 中国工程院
-
- Quantum Private Communication（海外版）
- Guihua Zeng
-
- 微积分学教程(第二卷)(第8版)
- 徐献瑜 冷生明 梁文骐
-
- 排球运动（第二版）
- 孙国民
-
- 有限群的线性表示
- 丘成桐
-
- 大学体育教程（第二版）
- 常乃军
-
- 伦理学引论
- 章海山 罗蔚
-
- 体育科学研究方法
- 张力为
-
- 决策理论与方法
- 郭立夫 李北伟
-
- 拓展
- 钱永健
发表评论(您需要先登录，才能发表评论)
我要评论