< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
微軟加油題的幾種算法 原題 . 一道關于飛機加油的問題，已知： 每個飛機只有一個油箱， 飛機之間可以相互加油(注意是相互，沒有加油機) 一箱油可供一架飛機繞地球飛半圈， 問題： 為使至少一架飛機繞地球一圈回到起飛時的飛機場，至少需要出動幾架飛機?(所有飛機從同一機場起飛，而且必須安全返回機場，不允許中途降落，中間沒有飛機場) 第三題. 汽車加油問題 一輛載油500升的汽車從A開往1000公里外的B，已知汽車每公里耗油量為1升，A處有無窮多的油，其他任何地點都沒有油，但該車可以在任何地點存放油以備中轉，問從A到B最少需要多少油
標簽： 微軟 算法 飛機
上傳時間： 2016-04-08
上傳用戶：許小華
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳時間： 2016-04-11
上傳用戶：jqy_china
歐幾里德算法又稱輾轉相除法，用于計算兩個整數a,b的最大公約數。
標簽： 算法 除法
上傳時間： 2016-04-12
上傳用戶：黃華強
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽： HTML web JS 方式
上傳時間： 2014-01-20
上傳用戶：lacsx
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優點,是進行B/S模式下功能測試的首選工具
標簽： Professional QTP Quick Test
上傳時間： 2016-04-21
上傳用戶：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p為任意素數，a,b,c為任意整數.
標簽： mod 方程
上傳時間： 2014-01-11
上傳用戶：er1219
用java編寫的標準化考試系統 (B/S網絡版)
標簽： java 編寫 標準化
上傳時間： 2013-12-18
上傳用戶：qoovoop
蟲蟲下載站版權所有 京ICP備2021023401號-1
