< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方挂。首先 - 免费下载

编译器/解释器资源文件大小：5628 K

📋 资源详细信息

文件格式

ZIP

所属分类

编译器/解释器

上传用户

上传时间

2014-11-29 03:56

文件大小

5628 K

所需积分

2 积分

推荐指数

⭐⭐⭐⭐⭐ (5/5)

💡 温馨提示：本资源由用户 yong_715 上传分享，仅供学习交流使用。如有侵权，请联系我们删除。

资源简介

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支持的大型程序设计方法，全面地介细了B 符号语言的描述方法。

源码文件列表

📂 共 1 个源码文件点击文件名可在线查看源代码

1 📄

b˴

💡

温馨提示：点击文件名或"查看源码"按钮可在线浏览源代码，支持语法高亮显示。

立即下载此资源

提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip

资源说明

📥 下载说明

下载需消耗 2积分
24小时内重复下载不扣分
支持断点续传
资源永久有效

📦 使用说明

下载后用解压软件解压
推荐 WinRAR 或 7-Zip
如有密码请查看说明
解压后即可使用

🎁 积分获取

上传资源获得积分
每日签到免费领取
邀请好友注册奖励
查看详情 →

相关标签

点击标签查看更多相关资源：

#gt #语言 #lt #开发指南

相关资源推荐