< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
本文介绍了基于PCI总线,利用PCI总线拉制器S592。和DSP芯片TMS32OC31所设计的 DYB流洽成卡,并提供了55920、TMS320C31以及该卡的硬件说明.
上传时间: 2016-04-07
上传用户:270189020
< PCI局部总线开发者指南>>电子版,是pci驱动程序开发的参考资料。
上传时间: 2016-04-08
上传用户:manlian
网友写的一个PCI卡,基于PCI总线的驱动,要写PCI驱动的可以参考一下
上传时间: 2014-09-10
上传用户:woshiayin
pci的windows系统驱动源码,包含详细的读写操作函数。
上传时间: 2016-04-08
上传用户:qq521
PCI guanli it is useful PCI PCI pCI pCi
上传时间: 2016-04-09
上传用户:leehom61
uclinux 中如何使用b核的文章,经典
上传时间: 2016-04-11
上传用户:jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签: JavaBean Servlet MySQL Jsp
上传时间: 2013-11-26
上传用户:yuchunhai1990
pci驱动程序,用于PLX9052的开发.安装后会生成文档和函数库.
上传时间: 2016-04-14
上传用户:aeiouetla
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔