|
题名:
|
软件开发的形式化方法 [ 专著] ruan jian kai fa de xing shi hua fang fa / 古天龙[著] , |
|
ISBN:
|
7-04-016079-X 价格： CNY26.00 |
|
语种:
|
chi |
|
载体形态:
|
265页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 高等教育出版社 出版日期： 2005 |
|
内容提要:
|
本书对软件开发的形式化方法进行了介绍和讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，主要包括有限状态机、通信顺序进程、通信系统演算等内容。 |
|
主题词:
|
软件开发 方法 |
|
主题词:
|
软件开发 |
|
中图分类法:
|
TP311.52 版次： 4 |
|
主要责任者:
|
古天龙 gu tian long 著 |
|
附注:
|
高等学校研究生系列教材 |