1. 首页
  2. 课程学习
  3. 专业指导
  4. B语言与方法:实用形式化开发指南

B语言与方法:实用形式化开发指南

上传者: 2019-09-28 22:25:53上传 PDF文件 6.34MB 热度 17次
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先,介绍了B语言的发展历史及与其他语言的关系,然后,从集合、序列等基本数学符号表示到B语言的结构化机制,再到它所支持的大型程序设计方法,全面地介细了B符号语言的描述方式。
下载地址
用户评论