机读格式显示(MARC)
- 000 01487nam0 2200361 450
- 010 __ |a 7-03-009928-1 |d CNY30.00
- 100 __ |a 20031010d km y0chiy0120 ea
- 200 1_ |a 时序逻辑程序设计与软件工程 |A Shi Xu Luo Ji Cheng Xu She Ji Yu Ruan Jian Gong Cheng |h 下 |i 软件工程方法与工具 |f 唐稚松等著 |F tang zhi song deng zhu
- 210 __ |a 北京 |c 科学出版社 |d 2002
- 215 __ |a 14, 241~486页 |c 图 |d 26cm
- 225 2_ |a 国家自然科学基金研究专著 |A guo jia zi ran ke xue ji jin yan jiu zhuan zhu |i 信息科学系列
- 225 2_ |a 华夏英才基金学术文库 |A hua xia ying cai ji jin xue shu wen ku
- 300 __ |a 国家自然科学基金研究成果专著出版基金资助
- 320 __ |a 有书目 (第474-481页) 和索引。
- 330 __ |a 本册介绍了软件工程方法与工具,内容包括面向模块程序设计的可视化图形工具,基于形式规范的逐步求精过程、速成原型与模型检验方法,可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。
- 410 _0 |1 2001 |a 国家自然科学基金研究专著
- 410 _0 |1 2001 |a 华夏英才基金学术文库
- 517 1_ |a 软件工程方法与工具 |A Ruan Jian Gong Cheng Fang Fa Yu Gong Ju
- 606 0_ |a 软件工程 |A ruan jian gong cheng
- 701 _0 |a 唐稚松 |A tang zhi song |4 著
- 801 _0 |a CN |b RLLIN |c 20051123
- 801 _2 |a CN |b LIY |c 20100319
- 905 __ |a SYXY |d TP311/66
- 907 __ |d TP311 |a SYXY |y 2010 |h |f g016 |r CNY30.00 |e 66