< B語言與方法：實用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號表示到B 語言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計方法，全面地介細(xì)了B 符號語言的描述方法。
標(biāo)簽： gt 語言 lt 開發(fā)指南
上傳時間： 2014-11-29
上傳用戶：康郎
EEPROM acces under ADS
標(biāo)簽： EEPROM acces under ADS
上傳時間： 2014-01-17
上傳用戶：wxhwjf
at45db161b SPI 接口FLASH ROM驅(qū)動,已經(jīng)在ADS下調(diào)試通過
標(biāo)簽： FLASH 161b 161 SPI
上傳時間： 2014-01-26
上傳用戶：qq21508895
《將ADS工程轉(zhuǎn)換為EWARM工程》英文文擋
標(biāo)簽： EWARM ADS 工程 轉(zhuǎn)換
上傳時間： 2013-12-10
上傳用戶：yuzsu
uclinux 中如何使用b核的文章,經(jīng)典
標(biāo)簽： uclinux 如何使用
上傳時間： 2016-04-11
上傳用戶：jqy_china
采用基于B/S結(jié)構(gòu)進(jìn)行開發(fā)學(xué)生管理信息系統(tǒng),本系統(tǒng)采用Servlet+Jsp+JavaBean+MySQL 的設(shè)計方式
標(biāo)簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
ads scatttar文件說明
標(biāo)簽： scatttar ads
上傳時間： 2016-04-13
上傳用戶：athjac
AD程序,用ADS軟件,在LPC2132實驗板
標(biāo)簽： 2132 ADS LPC 程序
上傳時間： 2016-04-14
上傳用戶：dongbaobao
該系統(tǒng)是一個B/S結(jié)構(gòu)的公司定飯系統(tǒng),整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應(yīng)用于商業(yè)環(huán)境,如實在要使用的話,請與作者聯(lián)系!(使用此系統(tǒng)無比要有ORACLE8i以上版本數(shù)據(jù)庫!)
標(biāo)簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結(jié)構(gòu)開發(fā)方式,用純JS+HTML實現(xiàn)了類似C/S的強(qiáng)大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數(shù)據(jù),有完整的數(shù)據(jù)庫表訪問和純web打印
標(biāo)簽： HTML web JS 方式
上傳時間： 2014-01-20
上傳用戶：lacsx
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
