文件名称:The_B_Language_and_Method
介绍说明--下载内容均来自于网络,请自行研究使用
< B语言与方法:实用形式化开发指南>>
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成
系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然
后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支
持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成
系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然
后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支
持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
相关搜索: 形式化
(系统自动生成,下载前可以参看下载内容)
下载文件列表
B语言与方法:实用形式化开发指南.pdf