注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术计算机/网络软件工程及软件方法学时序逻辑程序设计与软件工程（下册软件工程方法与工具）

时序逻辑程序设计与软件工程（下册软件工程方法与工具）

时序逻辑程序设计与软件工程（下册软件工程方法与工具）

定　价：¥30.00

作　者：	唐稚松等著
出版社：	科学出版社
丛编项：	国家自然科学基金研究专著信息科学系列
标　签：	程序设计软件工程

ISBN：	9787030099280	出版时间：	2002-01-01	包装：
开本：	26cm	页数：	241～486页	字数：

内容简介

　　国家自然科学基金研究成果专著出版基金资助。本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。

作者简介

暂缺《时序逻辑程序设计与软件工程（下册软件工程方法与工具）》作者简介

图书目录

暂缺《时序逻辑程序设计与软件工程（下册软件工程方法与工具）》目录

本目录推荐