|
题名:
|
软件开发的形式化工程方法 / (日)刘少英著 , |
|
ISBN:
|
978-7-302-18317-4 价格： CNY45.00 |
|
语种:
|
eng |
|
载体形态:
|
408页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2008 |
|
内容提要:
|
本书中对软件开发中的形式化工程方法进行了介绍和讨论，内容涵盖SE2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算等。 |
|
主题词:
|
软件开发 方法 |
|
主题词:
|
软件开发 |
|
中图分类法:
|
TP311.52 版次： 4 |
|
主要责任者:
|
刘少英 著 |
|
附注:
|
国外经典教材·计算机科学与技术 |