< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
ADS850516位AD的驱动程序,采用8位单片机控制,C语言编写
上传时间： 2014-01-15
上传用户：lo25643
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
一个DSP2812的AD采样程序，通过DSP自带的AD端口进行AD转换
上传时间： 2013-12-25
上传用户：225588
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-01-25
上传用户：坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
MPS单片机的温度控制信息,使用DS18B20和通用的模拟AD来实现获取温度传感器信息
上传时间： 2016-04-15
上传用户：小鹏
f2812的片上AD采样的程序，可以运行的，可以供初学者参考
上传时间： 2014-11-28
上传用户：ukuk
c8051f020 用于控制AD采集的源代码
上传时间： 2016-04-20
上传用户：coeus
