< B語言與方法:實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先,介紹了B 語言的發展歷史及與其他語言的關系,然 后,從集合、序列等基本數學符號表示到B 語言的結構化機制,再到它所支 持的大型程序設計方法,全面地介細了B 符號語言的描述方法。
標簽: gt 語言 lt 開發指南
上傳時間: 2014-11-29
上傳用戶:康郎
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽: JavaBean Servlet MySQL Jsp
上傳時間: 2013-11-26
上傳用戶:yuchunhai1990
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優點,是進行B/S模式下功能測試的首選工具
標簽: Professional QTP Quick Test
上傳時間: 2016-04-21
上傳用戶:tyler
一個汽車售后服務站的典型的進銷管理系統,B/S模式的
標簽: 汽車 售后服務 典型 模式
上傳時間: 2014-09-10
上傳用戶:釣鰲牧馬
Browser/Server模式下管理系統的開發 B/S系統下數據訪問及報表生成技術 MVC結構模式下WEB表達層的設計和開發 SQL Server數據庫管理系統上的SQL查詢優化 畢業禮物 可做參考
標簽: Server SQL Browser MVC
上傳時間: 2013-12-26
上傳用戶:libinxny
簡單的B/S用戶管理系統。該功能是進行網站設計的通用模塊。該管理系統登陸角色有兩種:用戶和管理員。用戶成功登錄可進行信息修改和注銷操作。管理員成功登陸后可進行查詢用戶信息、刪除用戶和注銷操作。
標簽: 用戶 操作 用戶管理系統 模塊
上傳時間: 2016-06-07
上傳用戶:windwolf2000
基于B/S的商貿管理系統,使用JSP開發環境
標簽: 商 管理系統
上傳時間: 2016-06-12
上傳用戶:784533221
遞歸方法實現HANOI塔問題 子程序模塊個數不限。要求: 盤子個數可以輸入,第一個塔為A,第二個塔為B,第三個塔的名稱為C。打印出移動過程。
標簽: HANOI 遞歸 程序 模塊
上傳時間: 2013-12-22
上傳用戶:小鵬
library系統主要實現以下幾個功能: a.圖書管理 b.讀者管理 c.借閱管理 d.信息查詢 e.作者信息 功能描述: 圖書管理包括新書入庫、舊書注銷、信息修改。 讀者管理包括增加讀者、刪除讀者、信息修改。 借閱管理包括借書管理、還書管理。 信息查詢包括圖書信息查詢、借還記錄查詢、未還圖書查詢。 關于作者中,可以看到作者的基本信息。 退出中,詢問管理人員是否要退出系統。
標簽: b. c. d. e.
上傳時間: 2014-01-16
上傳用戶:zhangjinzj
圖書管理系統 C**實現的 包括B樹 可以參考一下呀 有需要聯系我哈
標簽: 圖書管理 樹
上傳時間: 2014-12-01
上傳用戶:2525775
蟲蟲下載站版權所有 京ICP備2021023401號-1