MARC状态：已编 文献类型：中文图书 浏览次数：4
- 题名/责任者:
- 时序逻辑程序设计与软件工程.下.软件工程方法与工具/唐稚松等著
- 出版发行项:
- 北京:科学出版社,2002
- ISBN及定价:
- 7-03-009928-1/CNY30.00
- 载体形态项:
- 14, 241～486页:图;26cm
- 其它题名:
- 软件工程方法与工具
- 丛编项:
- 国家自然科学基金研究专著.信息科学系列
- 丛编项:
- 华夏英才基金学术文库
- 个人责任者:
- 唐稚松 著
- 学科主题:
- 软件工程
- 中图法分类号:
- TP311
- 一般附注:
- 国家自然科学基金研究成果专著出版基金资助
- 书目附注:
- 有书目 (第474-481页) 和索引。
- 提要文摘附注:
- 本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311/66 | A1224279 |  七里坪旧书库（B103）
T0213327 |
可借 | 七里坪旧书库（B103） | |
| TP311/66 | A1224280 | A自科5楼(李子园校区)
|
可借 | A自科5楼(李子园校区) |
显示全部馆藏信息