< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
标签： gt 语言 lt 开发指南
上传时间： 2014-11-29
上传用户：康郎
ADS-B接收机PCB电路板Mode-S Beast快速ADSB指南
标签： Mode-S ADS-B Beast PCB 接收机 电路板
上传时间： 2016-05-24
上传用户：gzzy2013
21世纪大学新型参考教材系列 集成电路B 荒井
标签： 大学 教材 集成电路
上传时间： 2013-04-15
上传用户：eeworm
工业常用传感器选型指南
标签： 工业 传感器 选型指南
上传时间： 2013-06-26
家电维修(最基础的教程B)1-20.Torrent
标签： Torrent 20 家电维修 教程
上传时间： 2013-06-10
上传时间： 2013-06-08
I2C 逻辑选型指南
标签： I2C 逻辑 选型指南
jk-b交通信号控制机原理图
标签： jk-b 交通信号 控制机 原理图
上传时间： 2013-07-13
专辑类----传感器专辑 工业常用传感器选型指南-191页-4.9M.rar
标签： 191 4.9 工业
上传时间： 2013-04-24
上传用户：123312
专辑类----单片机专辑 I2C-逻辑选型指南-16页-0.6M.rar
标签： 0.6 16 逻辑
上传用户：candice613
