< 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结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间: 2014-01-20
上传用户:lacsx
一个用mcgs做的电力监控的源代码,很漂亮的画面
上传时间: 2016-04-17
上传用户:VRMMO
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签: Professional QTP Quick Test
上传时间: 2016-04-21
上传用户:tyler
电力监控系统 实时告警处理程序,包括语音告警 实时打印 分色显示等功能 [ wAP push开发所需源码 哈哈, 不错 [ATCLib.rar] - 使用gsm modem发送sms/wap push,同时也支持解析mms notification,从而可以使用普通gsm modem接收彩信 [Quick_WAP_push_Application_Guidelines_1.02.rar] - Quick_WAP_push_Application_Guidelines_1.02 [SMSServer.rar] - 中国联通短信服务平台,包括服务器和客户端代码,很好的东东~~~~~~~~ [MODEM.zip] - 不错的源代码,请收下 [GPRS_sms.zip] - 一个用COM或USB接口连接gsm/GPRS手机进行短信收发的程序,用到的是simense的通讯模块 [gsmsend.rar] - gsm modem 发送短信 闪信 WAP push开发例子 [no06.rar] - 串行口接收数据的程序.可以设置波特率,选择串行口. [vc_demo.rar] - 使用VC编写的GPRS通讯代码,可用于GPRS MODEM收发数据
上传时间: 2013-12-27
上传用户:dapangxie
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程,其中p为任意素数,a,b,c为任意整数.
上传时间: 2014-01-11
上传用户:er1219
用java编写的标准化考试系统 (B/S网络版)
上传时间: 2013-12-18
上传用户:qoovoop
