< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
label內容旋轉控件代碼s
標簽： label 控件
上傳時間： 2014-12-05
上傳用戶：chens000
此設計能輸出0.1～50Hz的正弦波、三角波、方波且可以通過按鍵選擇。
標簽： 0.1 50 Hz 輸出
上傳時間： 2016-04-09
上傳用戶：zuozuo1215
pppoe在windows實現的miniport驅動源代碼
標簽： miniport windows pppoe 驅動
上傳用戶：yepeng139
OFDM仿真程序 是關于同步方面的 OFDM系統中的同步技術研究
標簽： OFDM 仿真程序 方面 同步技術
上傳時間： 2016-04-13
上傳用戶：onewq
用單片機產生方波的一個小程序。 方波的頻率為1HZ.
標簽： 方波 HZ 用單片機 程序
上傳時間： 2013-12-25
上傳用戶：himbly
eKeyGide.zip 包括一些模式識別方面的VC++的仿真
標簽： eKeyGide zip VC 模式識別
上傳時間： 2016-04-17
上傳用戶：lz4v4
matlab圖像處理方面的書，對于初學者非常有用
標簽： matlab 圖像處理 方面
上傳時間： 2016-04-20
上傳用戶：天涯
單片機在多種波形發生器中的應用 關鍵詞：波形發生器；單片機；MAX7534；方波；鋸齒波；正弦波
標簽： 7534 MAX 單片機 波形發生器
上傳用戶：CHENKAI
同方PC讀卡器驅動，包含源碼，研究7816協議很好
標簽： 讀卡器 驅動
上傳時間： 2016-04-21
上傳用戶：xieguodong1234
蟲蟲下載站版權所有 京ICP備2021023401號-1
