MARC状态：审校 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 软件开发的形式化工程方法:结构化+面向对象+形式化/(日)Shaoying Liu著
- 出版发行项:
- 北京:清华大学出版社,2008
- ISBN及定价:
- 978-7-302-18317-4/CNY45.00
- 载体形态项:
- 408页;26cm
- 个人责任者:
- (日) 刘少英 著
- 学科主题:
- 软件开发-方法-英文
- 中图法分类号:
- TP311.52
- 一般附注:
- 国外经典教材·计算机科学与技术
- 提要文摘附注:
- 本书中对软件开发中的形式化工程方法进行了介绍和讨论，内容涵盖SE2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算等。
全部MARC细节信息>>