< 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ù)：康郎
杭電 ACM 1002 I have a very simple problem for you. Given two integers A and B, your job is to calculate the Sum of A + B.
標(biāo)簽： integers problem calcul simple
上傳時(shí)間： 2014-01-12
上傳用戶(hù)：dave520l
⑴ 提供簡(jiǎn)單命令 A、通過(guò)串口加載程序到指定內(nèi)存 B、將程序燒寫(xiě)到 NANDFLASH 指定位置 C、LCD 操作函數(shù) I、畫(huà)點(diǎn) II、畫(huà)線 III、畫(huà)圓 IV、顯示圖像 ⑵ bootloader 具備自我更新能力 ⑶ bootloader 可以啟動(dòng) LINUX ⑷ 能通過(guò)網(wǎng)絡(luò)傳輸文件（FTP/UDP）
標(biāo)簽： NANDFLASH LCD III 命令
上傳時(shí)間： 2016-06-18
上傳用戶(hù)：牧羊人8920
％調(diào)用格式 =trapez_g( f_name ,a,b,n) ％f_name: 被積函數(shù)的文件名f(x) ％ a:x的上限 ％ b:x的下限 ％ 部分區(qū)間數(shù) ％實(shí)例：trapez_g( sin ,0,pi,20)
標(biāo)簽： trapez_g f_name 函數(shù) 上限
上傳時(shí)間： 2013-12-19
上傳用戶(hù)：cjl42111
Smart antennas for wireless communication - With MATLAB (Gross F.B. - 2005 - McGraw-Hill)
標(biāo)簽： F.B. communication McGraw-Hill antennas
上傳時(shí)間： 2013-12-22
上傳用戶(hù)：蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)
GA求最大值f=ab-bc+ac+c并顯示出a,b,c
上傳時(shí)間： 2013-12-21
上傳用戶(hù)：qb1993225
產(chǎn)生 正態(tài)白噪聲序列 (1) 打印出前50個(gè)數(shù) (2) 分布檢驗(yàn) (3) 均值檢驗(yàn) (4) 方差檢驗(yàn) (5) 計(jì)算相關(guān)函數(shù) Bx(i),i=0,±1,±2,…, ±10。 B(m)=1/1000
上傳時(shí)間： 2016-07-15
上傳用戶(hù)：kristycreasy
假設(shè)文檔的內(nèi)容為 i a * nul i b + nul i c # nul 是個(gè)單詞二元式,對(duì)他進(jìn)行不帶回溯的自上而下的語(yǔ)法分析.
上傳時(shí)間： 2013-12-14
上傳用戶(hù)：邶刖
DESCRIPTION : BIN to seven segments converter -- segment encoding -- a -- +---+ -- f | | b -- +---+ <- g -- e | | c -- +---+ -- d -- Enable (EN) active : high -- Outputs (data_out) active : low
標(biāo)簽： DESCRIPTION converter segments encoding
上傳時(shí)間： 2016-08-17
上傳用戶(hù)：ainimao
RFID Security - F. Thornton, B. Haines, A. Das, et al - Syngress - 2006
上傳時(shí)間： 2013-12-13
上傳用戶(hù)：love_stanford
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
