< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
杭电 ACM 1002 I have a very simple problem for you. Given two integers A and B, your job is to calculate the Sum of A + B.
标签： integers problem calcul simple
上传时间： 2014-01-12
上传用户：dave520l
基于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
PC机串口通讯让51内核单片机控制直流电机转动固定的角度，内有51程序和软件仿真
上传时间： 2013-12-30
上传用户：杜莹12345
51单片机控制dm413 R,G,B色彩变化。
上传时间： 2016-10-07
上传用户：chenlong
作品简介:基于51单片机的信号发送器,理论距离是3000米,实际受到现实的干扰,信号发送距离降缩短到1500米以上.可以配备多个接收器,实现多机通讯. 作品作用:例如手动输入A,B,C,D 80个不同的信号,启动发送,那么配备的多个接收器能接收到这80个信号.
上传时间： 2013-12-24
上传用户：zhengjian
基于B IO S和USB盘实现对PC机的安全访问
上传时间： 2016-10-31
上传用户：stvnash
为提升测量精度、方便数据传输管理, 设计并实现了以S3C44B0 处理器作为控制核心, CS5460 作为计量器件, 通过 USB 接口与上位机实现数据通讯的新型电能量测试系统 重点讨论了USB 接口程序的结构与实现。实践证明系统具有广 泛的适应范围。
上传时间： 2014-01-18
上传用户：thinode
步进电机控制 p1.4-p1.7控制a,b,c,d四个相位开关 汇编实现
上传时间： 2017-05-12
上传用户：003030
2015年全国大学生电子设计竞赛风力摆控制系统(B题)，附源代码及设计方案分析和报告。
上传时间： 2016-05-25
上传用户：psypj
