RG B

RG B技术资料下载专区,收录891份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

891 份资源
源代码 10,000

RG B 热门资料

查看全部 891 份 →
PDF文档

< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语...

49 次下载