< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
应用恒模算法实现的DS－CDMA多用户检测。
上传时间： 2013-12-20
上传用户：123啊
用java编写的标准化考试系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：qoovoop
用java编写的 图书查询系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：三人用菜
B/S结构邮件系统的源码，该代码基本实现了收发邮件的功能
上传时间： 2013-12-23
上传用户：851197153
超声影像工作站系统可与各种型号的B超、彩超连接，实时采集、显示、处理、存贮超声图像，采用全数字化处理技术，可对各种超声图像进行动态采集
上传时间： 2014-06-01
上传用户：ippler8
