本资源包含 1 个源码文件 支持在线预览，点击文件名即可查看
温馨提示：点击文件名或"查看源码"按钮可在线浏览源代码，支持语法高亮显示。
资源详细信息
< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先 - 资源详细说明
< B语言与方法：实用形式化开发指南>>
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成
系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然
后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支
持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先 - 源码文件列表
立即下载 < B语言与方法：实用形式化开发指南>>
提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
- 本资源需消耗 2积分
- 24小时内重复下载不扣分
- 支持断点续传功能
- 资源永久有效可用
使用说明
- 下载后使用解压软件解压
- 推荐使用 WinRAR 或 7-Zip
- 如有密码请查看资源说明
- 解压后即可正常使用
积分获取方式
- 上传优质资源获得积分
- 每日签到免费领取积分
- 邀请好友注册获得奖励
- 查看详情 →