< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Visual C++网络通信编程实用案例精逊配套源码 光盘中存放的是书中涉及的所有实例的源代码和经过编译后的应用程序。所有程序均经过测试，仅供读者学习时使用，不能用作其他商业用途。
上传时间： 2016-04-09
上传用户：我们的船长
基于ARM7的S3C44BO基础测试实验:异步串行通信实验.
上传时间： 2016-04-10
上传用户：dsgkjgkjg
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
msp430的flash测试代码，这个是对430的A，B信息段作测试
上传时间： 2013-12-17
上传用户：凤临西北
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-01-25
上传用户：坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
串口中断接收和发送 单片机C51串口中断接收和发送测试例程（含通信协议的实现）.c
上传时间： 2013-12-25
上传用户：阿四AIR
运用ms控件编写一个串口测试小程序,可以实现一台计算机两个串口间的通信,调试串口状态
上传时间： 2016-04-19
上传用户：CHENKAI
