< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
标签: gt 语言 lt 开发指南
上传时间: 2014-11-29
上传用户:康郎
matlab数学建模算法全收录 超清书签版
标签: matlab 数学建模 收录 算法
上传时间: 2013-05-15
上传用户:eeworm
数学建模与数学实验(第3版)课件+matlab
标签: matlab 数学建模 实验
21世纪大学新型参考教材系列 集成电路B 荒井
标签: 大学 教材 集成电路
上传时间: 2013-04-15
数学建模与数学实验 doc
标签: 数学建模 实验
上传时间: 2013-05-20
家电维修(最基础的教程B)1-20.Torrent
标签: Torrent 20 家电维修 教程
上传时间: 2013-06-10
jk-b交通信号控制机原理图
标签: jk-b 交通信号 控制机 原理图
上传时间: 2013-07-13
专辑类-实用电子技术专辑-385册-3.609G jk-b交通信号控制机原理图-1.3M.zip
标签: jk-b 1.3 zip 交通信号
上传时间: 2013-08-02
上传用户:zhf1234
专辑类-电子基础类专辑-153册-2.20G 21世纪大学新型参考教材系列-集成电路B-荒井-159页-2.8M.pdf
标签: 159 2.8 大学
上传时间: 2013-05-16
上传用户:pkkkkp
专辑类-数字处理及显示技术专辑-106册-9138M 数学建模与数学实验-14.4M-doc.zip
标签: M-doc 14.4 zip 数学建模
上传时间: 2013-04-24
上传用户:hsj3927