< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
armsys2410-b开发板核心板原理图
上传时间： 2016-06-09
上传用户：csgcd001
如果四位数各位上的数字均是0或2或4或6或8, 则统计出满足此条件的个数cnt, 并把这些四位数按从大到小的顺序存入数组b中
上传时间： 2016-06-23
上传用户：gtf1207
Description Calculate a+b Input Two integer a,b (0<=a,b<=101000) Output Output a + b Sample Input 5 7 Sample Output 12
标签： Description Calculate integer 101000
上传时间： 2014-01-25
上传用户：tonyshao
包含 hdm32gs12-b 的仿真原理图
上传时间： 2016-07-07
上传用户：lacsx
从输入文件中读取数据,构造最优二叉树,输入文件格式如下: 节点的值 出现概率 例如: A 0.001 B 0.25
上传时间： 2016-07-10
上传用户：baiom
产生 正态白噪声序列 (1) 打印出前50个数 (2) 分布检验 (3) 均值检验 (4) 方差检验 (5) 计算相关函数 Bx(i),i=0,±1,±2,…, ±10。 B(m)=1/1000
上传时间： 2016-07-15
上传用户：kristycreasy
蓝牙串口程序2 设备B BLUELAB4.0
上传时间： 2014-01-18
上传用户：源弋弋
我基于.netframwork1.0开发的一个B/S网络店铺（会员）销售管理系统。
标签： netframwork 1.0 网络 管理系统
上传时间： 2017-01-27
上传用户：BIBI
