< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
标签： gt 语言 lt 开发指南
上传时间： 2014-11-29
上传用户：康郎
用于GPRS的AT命令
标签： GPRS 命令
上传时间： 2014-01-07
上传用户：3到15
GPRS上网，Moden拨号、ARM7、LPC2292
标签： GPRS
上传时间： 2016-04-10
上传用户：gdgzhym
GPRS模块、Q2406B指认、AT指认
标签： Q2406B GPRS 模块
上传时间： 2013-12-24
上传用户：稀世之宝039
uclinux 中如何使用b核的文章,经典
标签： uclinux 如何使用
上传时间： 2016-04-11
上传用户：jqy_china
在JX44B0教学实验箱进行GPRS通讯实验源码
标签： GPRS 44B JX 44
上传时间： 2016-04-12
上传用户：ljt101007
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
zigbee与GPRS的结合，实现无线数据通信
标签： zigbee GPRS
上传时间： 2014-10-30
上传用户：wl9454
M23 GPRS模块硬件数据手册，详细讲解了M23模块的使用
标签： GPRS M23 模块 数据手册
上传时间： 2016-04-14
上传用户：zhoujunzhen
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
标签： ORACLE8i JSP 家
上传时间： 2014-01-25
上传用户：坏坏的华仔
