题名:
时序逻辑程序设计与软件工程
/ 唐稚松等著 ,
ISBN:
7-03-009928-1 价格： ￥30.00
语种:
chi
载体形态:
240页 26cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 2002
内容提要:
内容包括: 面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法等。
主题词:
逻辑程序
程序设计
主题词:
软件工程
中图分类法:
TP311.5 版次： 4
主要责任者:
唐稚松
著
附注:
中国科学院科学出版基金资助出版
附注:
国家自然科学基金研究专著
索书号:
12