<bdo id="4scki"></bdo>
< B語(yǔ)言與方法：實(shí)用形式化開(kāi)發(fā)指南>> 本書(shū)介紹了B抽象機(jī)符號(hào)語(yǔ)言以及用于支持形式化規(guī)格說(shuō)明和高集成 系統(tǒng)開(kāi)發(fā)的方掛。首先，介紹了B 語(yǔ)言的發(fā)展歷史及與其他語(yǔ)言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語(yǔ)言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號(hào)語(yǔ)言的描述方法。
標(biāo)簽： gt 語(yǔ)言 lt 開(kāi)發(fā)指南
上傳時(shí)間： 2014-11-29
上傳用戶(hù)：康郎
uclinux 中如何使用b核的文章,經(jīng)典
上傳時(shí)間： 2016-04-11
上傳用戶(hù)：jqy_china
采用基于B/S結(jié)構(gòu)進(jìn)行開(kāi)發(fā)學(xué)生管理信息系統(tǒng),本系統(tǒng)采用Servlet+Jsp+JavaBean+MySQL 的設(shè)計(jì)方式
標(biāo)簽： JavaBean Servlet MySQL Jsp
上傳時(shí)間： 2013-11-26
上傳用戶(hù)：yuchunhai1990
該系統(tǒng)是一個(gè)B/S結(jié)構(gòu)的公司定飯系統(tǒng),整套軟件由JSP編制,希望大家能夠多提寶貴意見(jiàn),但請(qǐng)不要將它應(yīng)用于商業(yè)環(huán)境,如實(shí)在要使用的話,請(qǐng)與作者聯(lián)系!(使用此系統(tǒng)無(wú)比要有ORACLE8i以上版本數(shù)據(jù)庫(kù)!)
上傳時(shí)間： 2014-01-25
上傳用戶(hù)：壞壞的華仔
全新的B/S結(jié)構(gòu)開(kāi)發(fā)方式,用純JS+HTML實(shí)現(xiàn)了類(lèi)似C/S的強(qiáng)大瀏覽器交互,查詢(xún)及分頁(yè)瀏覽速度提高幾倍,可以成批錄入數(shù)據(jù),有完整的數(shù)據(jù)庫(kù)表訪問(wèn)和純web打印
上傳時(shí)間： 2014-01-20
上傳用戶(hù)：lacsx
用java編寫(xiě)的標(biāo)準(zhǔn)化考試系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽： java 編寫(xiě) 標(biāo)準(zhǔn)化
上傳時(shí)間： 2013-12-18
上傳用戶(hù)：qoovoop
用java編寫(xiě)的 圖書(shū)查詢(xún)系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽： java 編寫(xiě) 圖書(shū) 查詢(xún)系統(tǒng)
上傳時(shí)間： 2013-12-18
上傳用戶(hù)：三人用菜
該系統(tǒng)是一個(gè)B/S結(jié)構(gòu)的公司定飯系統(tǒng),整套軟件由JSP編制,希望大家能夠多提寶貴意見(jiàn),但請(qǐng)不要將它應(yīng)用于商業(yè)環(huán)境,如實(shí)在要使用的話,請(qǐng)與作者聯(lián)系!(使用此系統(tǒng)無(wú)比要有ORACLE8i以上版本數(shù)據(jù)庫(kù)!)
上傳時(shí)間： 2014-10-14
上傳用戶(hù)：Shaikh
B/S結(jié)構(gòu)郵件系統(tǒng)的源碼，該代碼基本實(shí)現(xiàn)了收發(fā)郵件的功能
標(biāo)簽： 郵件系統(tǒng) 源碼
上傳時(shí)間： 2013-12-23
上傳用戶(hù)：851197153
超聲影像工作站系統(tǒng)可與各種型號(hào)的B超、彩超連接，實(shí)時(shí)采集、顯示、處理、存貯超聲圖像，采用全數(shù)字化處理技術(shù)，可對(duì)各種超聲圖像進(jìn)行動(dòng)態(tài)采集
上傳時(shí)間： 2014-06-01
上傳用戶(hù)：ippler8
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
