软件开发的形式化方法

书籍简介:

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论，内容包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。

书籍规格:

书籍详细信息
书名	软件开发的形式化方法站内查询相似图书
ISBN	9787040160796 《软件开发的形式化方法》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	高等教育出版社
版次	1版	印次	1
定价(元)		语种	简体中文
尺寸	24	装帧	平装
页数		印数	5000

该资源已有网友提供分享链接并报价8元,点击获取该资源 全网搜索试读资源

书籍信息归属:

软件开发的形式化方法是高等教育出版社于2005.01出版的中图分类号为 TP311.52 的主题关于 软件开发－方法 的书籍。