< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
uclinux 中如何使用b核的文章,经典
上传时间: 2016-04-11
上传用户:jqy_china
平凡的单片机,MCS-51单片机教程 1、何谓单片机 一台能够工作的计算机要有这样几个部份构成:CPU(进行运算、控制)、RAM(数据存储)、ROM(程序存储)、输入/输出设备(例如:串行口、并行输出口等)。在个人计算机上这些部份被分成若干块芯片,安装一个称之为主板的印刷线路板上。而在单片机中,这些部份,全部被做到一块集成电路芯片中了,所以就称为单片(单芯片)机,而且有一些单片机中除了上述部份外,还集成了其它部份如A/D,D/A等。
上传时间: 2016-04-11
上传用户:sk5201314
采用基于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
提出了利用FPGA的现场可编程以及可并行处理的特性,对基于人工神经网络的图像处理结构进行自动生成的一种技术。作者:Andre B. Soares, Altamiro A. Susin,Leticia V. Guimaraes
上传时间: 2016-04-14
上传用户:gxf2016
基于VHDL的8255可编程并行扩展接口芯片设计
上传时间: 2016-04-15
上传用户:wff
8255_8155可编程并行I_O扩展接口的运用体会.caj
上传时间: 2016-04-18
上传用户:pinksun9
8255可编程并行扩展接口位控功能的应用.caj
上传时间: 2016-04-18
上传用户:hakim