< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
超声影像工作站系统可与各种型号的B超、彩超连接，实时采集、显示、处理、存贮超声图像，采用全数字化处理技术，可对各种超声图像进行动态采集
上传时间： 2014-06-01
上传用户：ippler8
TMS320C6000 DSP PCI Reference Guide (Rev. B).pdf
标签： Reference C6000 Guide 320C
上传时间： 2016-05-02
上传用户：zq70996813
TMS320C6000 DSP Power-Down Logic and Modes Reference Guide (Rev. B).pdf
标签： Power-Down Reference C6000 Logic
上传时间： 2014-12-07
上传用户：woshini123456
b Rew book for brew phone design
上传时间： 2016-05-07
上传用户：liuchee
采用MATLAB编写B样条绘制程序，可以选择四种节点矢量，采用Deboor算法,详细参看计算机辅助几何设计的书籍(CAGD)
上传时间： 2013-12-23
上传用户：yoleeson
B-树演示程序(vc++)可执行程序.rar
上传时间： 2016-05-12
上传用户：R50974
在数据加密和数据压缩中常需要对特殊的字符串进行编码。给定的字母表A 由26 个小 写英文字母组成A={a,b,…,z}。该字母表产生的升序字符串是指字符串中字母按照从左到 右出现的次序与字母在字母表中出现的次序相同，且每个字符最多出现1 次。例如， a,b,ab,bc,xyz 等字符串都是升序字符串。对于任意长度不超过6 的升序字符串，迅速计算出它在上述字典中的编码。
上传时间： 2016-05-12
上传用户：邶刖
