< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
s3c2410_ch-1-2-5-6-8-15-16，史上最强的2410中文书籍，是学习arm9的很难得的资料！
上传时间： 2014-01-10
上传用户：cjf0304
软件介绍1． 系统管理 1．1.菜单管理 1．2.权限管理 1．3 客户管理 1．4.推荐招聘 1．5.导航管理 1．6.级别管理 1．7.分类管理 2. 采购管理 2.1. 采购计划 2.２. 采购查询 3. 销售管理 3.1 网络销售 3.2. 商品销售管理 4. 产品管理 4.1. 产品管理 5. 会员中心 5.1. 会员咨讯 5.2. 友情链接 5.3 会员广告 5.4 注册管理 5.5 知识库 6. 会员管理 6.1. 会员状态 6.2. 成员管理 7. 招标管理 7.1. 网络招标 8. 人力资源 8.1. 人才查询 8.2. 网络求职 8.3. 网上招聘 9 留言管理 91. 我受到的留言 92. 我发出的留言 93. 垃圾留言
上传时间： 2016-04-09
上传用户：kikye
eybuild-x86-arm920t-2.6.7.tar 很好的嵌入式WEB开发环境
上传时间： 2016-04-10
上传用户：jjj0202
1.动态计算歌曲时间 2.拖放中动态显示进度 3.当前歌曲播放完前进行提示 4.随机和有序播放歌曲 5.歌曲列表中点击播放 6.输入曲号指定歌曲播放
上传时间： 2016-04-10
上传用户：
Please unzip the file and make the file under linux with version 2.6 or above. The function is just like the utility traceroute in linux or tracert in windows.
上传时间： 2014-01-13
上传用户：h886166
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
