< 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
This manual describes Freescale’s IEEE™ 802.15.4 Standard compliant MAC/PHY software. The Freescale 802.15.4 MAC/PHY software is designed for use with the Freescale MC1319x and MC1320x, family of short range, low power, 2.4 GHz Industrial, Scientific, and Medical (ISM) band transceivers, designed for use with the HCS08 Family of MCUs. The MAC/PHY software also works with the MC1321x family of short range, low power, 2.4 GHz ISM band transceivers that incorporate a low power 2.4 GHz radio frequency transceiver and an 8-bit microcontroller into a single LGA package. Throughout this manual, the term transceiver refers to either the MC1319x, MC1320x, or the internal counterpart inside the MC1321x System in a Package (SiP).
标签: Freescale describes compliant Standard
上传时间: 2016-04-17
上传用户:caiiicc
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签: Professional QTP Quick Test
上传时间: 2016-04-21
上传用户:tyler
IEEE Std 802[1].15.4-2003协议标准.rar
上传时间: 2013-12-18
上传用户:banyou
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程,其中p为任意素数,a,b,c为任意整数.
上传时间: 2014-01-11
上传用户:er1219
用java编写的标准化考试系统 (B/S网络版)
上传时间: 2013-12-18
上传用户:qoovoop