题名:
|
时序逻辑程序设计与软件工程 / 唐稚松等著 , |
ISBN:
|
7-03-007006-2 价格: CNY30.00 |
语种:
|
chi |
载体形态:
|
12,231页 26cm |
出版发行:
|
出版地: 北京 出版社: 科学出版社 出版日期: 1999 |
内容提要:
|
本书包括绪论;时序逻辑语言XYZ/E的基层部分;时序逻辑语言XYZ/E的基层模块;时序逻辑语言XYZ/E的并发成分;实时程序设计与混成系统表示;等等。 |
主题词:
|
程序设计 |
主题词:
|
软件工程 |
中图分类法:
|
TP311 版次: 4 |
其它题名:
|
时序逻辑语言 |
主要责任者:
|
唐稚松 著 |
附注:
|
中国科学院科学出版基金资助出版 |
附注:
|
国家自然科学基金研究专著 |