< 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
上傳用戶：康郎
The IA-32 Intel Architecture Software Developer’s Manual, Volume 2: Instruction Set Reference (Order Number 245471) is part of a three-volume set that describes the architecture and programming environment of all IA-32 Intel® Architecture processors. the IA-32 Intel Architecture Software Developer’s Manual, Volume 2, describes the instructions set of the processor and the opcode structure. These two volumes are aimed at application programmers who are writing programs to run under existing operating systems or executives.
標(biāo)簽： Architecture Instruction Developer Reference
上傳時(shí)間： 2013-12-15
上傳用戶：xsnjzljj
uclinux 中如何使用b核的文章,經(jīng)典
上傳時(shí)間： 2016-04-11
上傳用戶：jqy_china
采用基于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
該系統(tǒng)是一個(gè)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
The LM628/LM629 are dedicated motion-control processors designed for use with a variety of DC and brushless DC servo motors
標(biāo)簽： motion-control processors dedicated designed
上傳時(shí)間： 2014-01-23
上傳用戶：aa17807091
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優(yōu)點(diǎn)是使用方便,功能強(qiáng)大并且可以通過與測試管理工具的互連達(dá)到自動(dòng)化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識(shí)別能力強(qiáng),回放精確等優(yōu)點(diǎn),是進(jìn)行B/S模式下功能測試的首選工具
標(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編寫的標(biāo)準(zhǔn)化考試系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽： java 編寫 標(biāo)準(zhǔn)化
上傳時(shí)間： 2013-12-18
上傳用戶：qoovoop
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
