< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
armsys2410-b開發板核心板原理圖
標簽： armsys 2410 開發板 原理圖
上傳時間： 2016-06-09
上傳用戶：csgcd001
遞歸方法實現HANOI塔問題 子程序模塊個數不限。要求: 盤子個數可以輸入,第一個塔為A,第二個塔為B,第三個塔的名稱為C。打印出移動過程。
標簽： HANOI 遞歸 程序 模塊
上傳時間： 2013-12-22
上傳用戶：小鵬
杭州立宇泰armsys2410-b套件光盤資料使用手冊。 包括： 1、armsys2410-B開發板linux2.4.18內核用戶手冊.pdf 2、armsys2410-B開發板硬件用戶手冊.pdf 3、ARMSYS2410開發套件Linux2.6.15內核使用說明.pdf 4、ARMSYS2410開發套件WINCE5.0BSP使用說明.pdf 5、一步一步基于ADS1.2進行開發（ARM9）.pdf
標簽： armsys 2410 linux
上傳時間： 2014-01-21
上傳用戶：hj_18
這是一個三次樣條插值的.m程序 輸入的是一個二維數組A(Nx2) 插值方法為: S(x) = A(J) + B(J)*( x - x(J) ) + C(J)*( x - x(J) )**2 +D(J) * ( x - x(J) )**3 for x(J) <= x < x(J + 1)
標簽： Nx2 插值 三次樣條 二維
上傳時間： 2013-12-14
上傳用戶：gengxiaochao
自己的51開發板源代碼B，里面包含有LCD1602實驗，lcd12864實驗，ps2 lcd1602，串口通訊，紅外遙控，計算器，繼電器控制，矩陣鍵盤等實驗程序，內容豐富
標簽： 51開發板 源代碼
上傳時間： 2016-09-06
上傳用戶：wab1981
用b-splines變換的方法實現分數延遲濾波器matlab仿真程序
標簽： b-splines matlab 變換 分數
上傳時間： 2016-11-08
上傳用戶：yt1993410
小型公司工資管理系統 工資的計算方法： A 經理：固定月薪為8000； B 技術員：工作時間＊小時工資（100元每小時）； C 銷售員：銷售額＊4％提成； D 銷售經理：底薪（5000）＋所轄部門銷售額總額＊0.5％；
標簽： 8000 5000 銷售 100
上傳時間： 2013-12-18
上傳用戶：qilin
功能：用斐波那契法求f(x)在區間[a,b]上的近似極小值。當且僅當f(x)在[a,b]上為單峰時次方法適用
標簽：
上傳時間： 2013-12-24
黃金分割法求極小值 功能：用黃金分割法求f(x)在區間[a,b]上的近似極小值。當且僅當f(x)在[a,b]上為單峰時次方法適用
標簽： 分割
上傳時間： 2016-12-18
蟲蟲下載站版權所有 京ICP備2021023401號-1
