< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
本软件是用vc2005开发的ecg信号读取程序。可以直接读取ecg格式的数据进行数据显示。
上传时间: 2016-04-07
上传用户:stella2015
读取瑞典的雷达数据以及文件头的matlab程序,对于刚刚编写雷达数据处理的入门者来说,是个不错的参考
上传时间: 2016-04-07
上传用户:shinesyh
PDM for Linux是一款面向中小企业而设计的数据备份软件,安装简单操作容易,用户只需在PDM服务器上安装好服务器端,即可直接备份和恢复局域网内所有windows共享文件、NFS共享文件、MySql数据库,无需安装客户端和控制台.控制台使用B/S方式,使用浏览器来实现对PDM服务器的管理.
上传时间: 2014-08-26
上传用户:王楚楚
这是用于在matlab中实现从文本文件中读取数据,并写入到access中的程序。
上传时间: 2013-12-16
上传用户:wang5829
uclinux 中如何使用b核的文章,经典
上传时间: 2016-04-11
上传用户:jqy_china
HRIT读取,用于在LINUX下显示高束数据图像
上传时间: 2016-04-11
上传用户:330402686
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签: JavaBean Servlet MySQL Jsp
上传时间: 2013-11-26
上传用户:yuchunhai1990
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔
Dopod手机读取端口数据,包括打开端口,接收数据,设置等信息
上传时间: 2013-12-30
上传用户:dragonhaixm
