< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
如果四位数各位上的数字均是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
从输入文件中读取数据,构造最优二叉树,输入文件格式如下: 节点的值 出现概率 例如: A 0.001 B 0.25
上传时间： 2016-07-10
上传用户：baiom
基于verilog HDL的自动售货机控制电路设计: 可以对5种不同种类的货物进行自动售货,价格分别为A=1.00,B=1.50,C=1.80,D=3.10,E=5.00 。售货机可以接受1元,5角,1角三种硬币(即有三种输入信号IY,IWJ,IYJ),并且在一个3位7段LED(二位代表元,一位代表角)显示以投入的总钱数，最大9.90元，如果大于该数值，新投入的硬币会退出,选择货物的输入信号Ia,Ib,Ic,Id,Ie和一个放弃信号In,输出指示信号为 Sa, Sb ,Sc ,Sd, Se 分别表示售出相应的货物,同时输出的信号yuan, jiao代表找零,相应每个脉冲代表找零相应的硬币，上述输入和输出信号均是一个固定宽度的脉冲信号。
上传时间： 2016-07-12
上传用户：lanwei
MiniGUI 1.3.3 移植详解，很详细，很不错
上传时间： 2014-01-13
上传用户：xhz1993
针对S3C2410X移植的UBOOT-1.3.0，带网络通讯TFTP，可通过网络下载内核，使用时把.gz改为.tar.bz2，在linux下编译
上传时间： 2014-01-13
上传用户：pompey
蓝牙串口程序2 设备B BLUELAB4.0
上传时间： 2014-01-18
上传用户：源弋弋
QT3.3.4在远峰2410上移植 HOST 环境（虚拟机VM6.0）： 系统：redhat 9 完全安装 交叉工具arm 2.95.3 TARGET环境 arm 2410 240*320屏外加触摸屏 cramfs文件系统 软件： cross-2.95.3.tar.bz2 qt-embedded-free-3.3.4.tar.bz2 qt-x11-free-3.3.4.tar.bz2 tmake-1.11.tar.gz 经测试，在3.3.2的交叉编译工具也通过
上传时间： 2014-12-22
上传用户：上善若水
ImageEn.v2.3.0组件,适合多个平台使用.希望能有帮助.
标签： ImageEn
上传时间： 2014-01-01
上传用户：1966640071
