MARC状态：已编 文献类型：中文图书 浏览次数：59
- 题名/责任者:
- 软件开发的形式化方法/古天龙
- 出版发行项:
- 北京:高等教育出版社,2005
- ISBN及定价:
- 7-04-016079-X/CNY26.00
- 载体形态项:
- 265页:图;24cm
- 丛编项:
- 高等学校研究生系列教材
- 个人责任者:
- 古天龙 著
- 学科主题:
- 软件开发-研究生-教材
- 中图法分类号:
- TP311.52
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目 (第263-265页)
- 提要文摘附注:
- 本书对软件开发的形式化方法进行了介绍和讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，内容包括：软件及其开发概述，有限状态机及其扩展，一阶逻辑，时态逻辑，模态逻辑等。
- 使用对象附注:
- 计算机, 软件工程等专业的高年级本科生或研究生.
全部MARC细节信息>>
密集书库三