< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
詳細描述了ASN.1抽象語法,介紹了幾種經典的編碼規則
標簽： ASN 抽象 編碼
上傳時間： 2013-12-21
上傳用戶：維子哥哥
編譯原理 做一個后綴翻譯 還有抽象堆棧機代碼翻譯
標簽： 翻譯 編譯原理 抽象 堆棧
上傳時間： 2016-05-12
上傳用戶：asasasas
反饋控制系統分析與設計,雖然有點抽象，應該還是比較使用的。
標簽： 反饋控制 系統分析 抽象
上傳時間： 2013-12-25
上傳用戶：lepoke
數據結構：抽象數據類型的介紹；講述如何構造函數和如何實現；
標簽： 數據結構 抽象數據類型 函數
上傳時間： 2013-12-16
上傳用戶：xuanchangri
抽象三層訪問數據庫示例，實現DOA、ADO、Web幾種方式訪問數據庫。此程序為實現程序。主要是IDataAccess的幾個實現
標簽： 抽象 訪問 數據庫
上傳時間： 2016-06-02
上傳用戶：zuozuo1215
J2EE面試題集錦(附答案) 一、基礎問答2.抽象類和接口的區別
標簽： J2EE 面試題 集錦 問答
上傳時間： 2014-12-05
上傳用戶：Zxcvbnm
gdal是一個柵格影像抽象處理庫。本文檔主要解釋了其柵格模型結構(中文翻譯)
標簽： gdal 抽象 文檔 模型
上傳時間： 2016-06-22
上傳用戶：龍飛艇
定義一個Shape抽象類，在此基礎上派生出Rectangle和circle類，二者都有GetArea（）函數計算對象面積，GetPerim（）函數計算對象的周長。使用Rectangle類派生出一個新類Squre。
標簽： Shape 定義 抽象
上傳時間： 2014-11-30
上傳用戶：moshushi0009
抽象數據類型的實現
標簽： 抽象數據類型
上傳時間： 2014-01-02
上傳用戶：wfl_yy
蟲蟲下載站版權所有 京ICP備2021023401號-1
<li id="quaiq"></li>
