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