< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
SHAPE Example based on vs2005 Wince6
标签： Example Wince6 SHAPE based
上传时间： 2016-04-08
上传用户：cmc_68289287
WIN CE Change Dialog color example based on VS2005
标签： example Change Dialog color
上传时间： 2016-04-08
上传用户：王楚楚
WINCE BUTTON STYLE EXAMPLE BASED ON VS2005
标签： EXAMPLE BUTTON WINCE BASED
上传时间： 2016-04-08
上传用户：wangdean1101
A bank clien/server example implemented by RMI, to perform functions of creatAccount and accessAccount
标签： creatAccount accessAccou implemented functions
上传时间： 2016-04-09
上传用户：啊飒飒大师的
usn disk thief example program
标签： example program thief disk
上传时间： 2013-12-14
上传用户：
vc oline exam program example
标签： example program oline exam
上传时间： 2016-04-11
上传用户：R50974
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
This example demonstrates how the C8051F06x SMBus interface can communicate // with a 256 byte I2C Serial EEPROM (Microchip 24LC02B). // - Interrupt-driven SMBus implementation // - Only master states defined (no slave or arbitration) // - Timer4 used by SMBus for SCL low timeout detection // - SCL frequency defined by <SMB_FREQUENCY> constant
标签： demonstrates communicate C8051F06x interface
上传时间： 2016-04-12
上传用户：hanli8870
