< 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
上傳用戶：康郎
uclinux 中如何使用b核的文章,經(jīng)典
上傳時(shí)間： 2016-04-11
上傳用戶：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
上傳用戶：yuchunhai1990
Squaring circuits are an important building block for impulse-radio UWB non-coherent receivers. This work proposes a squarer, based on the quadratic law of saturated transistors. Such a circuit has already been proposed for lower frequency applications, therefore this work focuses on the extension to ultra wide bandwidth, with particular care to the consequences related to the deviation from the ideal quadratic law of 0.18μm CMOS transistors.
標(biāo)簽： impulse-radio non-coherent important receivers
上傳時(shí)間： 2013-12-24
上傳用戶：kikye
該系統(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
上傳用戶：壞壞的華仔
全新的B/S結(jié)構(gòu)開(kāi)發(fā)方式,用純JS+HTML實(shí)現(xiàn)了類(lèi)似C/S的強(qiáng)大瀏覽器交互,查詢及分頁(yè)瀏覽速度提高幾倍,可以成批錄入數(shù)據(jù),有完整的數(shù)據(jù)庫(kù)表訪問(wèn)和純web打印
上傳時(shí)間： 2014-01-20
上傳用戶：lacsx
QTP全名Quick Test Professional,是MI公司出品的一款測(cè)試工具.它的優(yōu)點(diǎn)是使用方便,功能強(qiáng)大并且可以通過(guò)與測(cè)試管理工具的互連達(dá)到自動(dòng)化功能測(cè)試的目的. QTP是專(zhuān)門(mén)針對(duì)B/S模式的測(cè)試工具.它具有:識(shí)別能力強(qiáng),回放精確等優(yōu)點(diǎn),是進(jìn)行B/S模式下功能測(cè)試的首選工具
標(biāo)簽： Professional QTP Quick Test
上傳時(shí)間： 2016-04-21
上傳用戶：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p為任意素?cái)?shù)，a,b,c為任意整數(shù).
上傳時(shí)間： 2014-01-11
上傳用戶：er1219
用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
上傳用戶：qoovoop
用java編寫(xiě)的 圖書(shū)查詢系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽： java 編寫(xiě) 圖書(shū) 查詢系統(tǒng)
上傳時(shí)間： 2013-12-18
上傳用戶：三人用菜
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
