< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
一个240128 控制芯片t6963c的显示图像和汉字的C语言源码
上传时间： 2013-12-10
上传用户：thesk123
一个240128的 画图和显示图像汉字的源码
上传时间： 2016-04-08
上传用户：aeiouetla
动态显示JSP服务器内存的Ajax程序 图像版 这是一个检测JSP服务器内存的Ajax程序 可以动态显示服务器上的数据 并且一图像的方式直观显示数据
上传时间： 2016-04-09
上传用户：2404
单片机直接驱动TFT液晶显示320x240图像不需要lcd驱动IC
上传时间： 2014-01-06
上传用户：lili123
单片机直接驱动TFT液晶显示320x240图像不需要lcd驱动IC
上传时间： 2014-02-27
上传用户：gxf2016
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
HRIT读取,用于在LINUX下显示高束数据图像
上传时间： 2016-04-11
上传用户：330402686
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
这是一个检测JSP服务器内存的Ajax程序 可以动态显示服务器上的数据 并且一图像的方式直观显示数据
上传时间： 2016-04-13
上传用户：jkhjkh1982
