< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签: JavaBean Servlet MySQL Jsp
上传时间: 2013-11-26
上传用户:yuchunhai1990
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔
用java编写的标准化考试系统 (B/S网络版)
上传时间: 2013-12-18
上传用户:qoovoop
用java编写的 图书查询系统 (B/S网络版)
上传时间: 2013-12-18
上传用户:三人用菜
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-10-14
上传用户:Shaikh
超声影像工作站系统可与各种型号的B超、彩超连接,实时采集、显示、处理、存贮超声图像,采用全数字化处理技术,可对各种超声图像进行动态采集
上传时间: 2014-06-01
上传用户:ippler8
IntraWeb电影程序 B/S类型的演示 Delphi+Internet 开发的电影服务器 系统登录电影网站的用户名和密码都是admin 观看电影的最低要求: 请确保你的系统已经安装媒体播放器9.0和RealOne播放器并且得升级浏览器为IE6.0以上,且系统比较支持COOKIE. 程序占用了90端口.在运行时请确保此端口没被其它程序占用.
标签: IntraWeb Internet Delphi admin
上传时间: 2013-12-18
上传用户:lijinchuan
一个汽车售后服务站的典型的进销管理系统,B/S模式的
上传时间: 2014-09-10
上传用户:钓鳌牧马
基于B/S模式的考试系统、用纯JAVA语言编写,对于JAVA学习爱好者是一个很好的例子
上传时间: 2016-05-28
上传用户:x4587