|
题名:
|
时序逻辑程序设计与软件工程 / 唐稚松等著 , |
|
ISBN:
|
7-03-007006-2 价格： ￥30(25.00) |
|
语种:
|
chi |
|
载体形态:
|
240页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1999 |
|
内容提要:
|
内容包括: XYZ系统研制的技术和哲学背景,XYZ/E的逻辑基础,XYZ/E的基本特征和基本成分,XYZ/E的控制结构,XYZ/E中所表示的各种机制,XYZ/E的实现,基于XYZ/E的实时程序设计,以及在XYZ/E框架内的程序规范与Hoare逻辑验证等. |
|
主题词:
|
时序逻辑 程序语言 |
|
中图分类法:
|
TP312 版次： 4 |
|
主要责任者:
|
唐稚松 著 |
|
附注:
|
中国科学院科学出版基金资助出版 |
|
附注:
|
国家自然科学基金研究专著 |
|
索书号:
|
10 |