< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
eeprom的Verilog HDL源代碼，含eeprom的讀寫！Quartus II5.0平臺測試通過！
標簽： Verilog eeprom HDL 源代碼
上傳時間： 2013-12-19
上傳用戶：BOBOniu
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳時間： 2016-04-11
上傳用戶：jqy_china
4 digital LED dynamic display的Verilog HDL源代碼，它能動態的顯示4位數，為FPGA 的DEBUG 提供便利，非常經典，簡單易懂，并且經過了Modelsim/ISE/FPGA(XC3S250ETQ144)驗證和實現，好的行為模型就應該大家分享。
標簽： digital Verilog dynamic display
上傳時間： 2016-04-12
上傳用戶：壞天使kk
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
VerilogHDL硬件描述語言(簡單的Verilog HDL語法
標簽： VerilogHDL Verilog HDL 硬件描述語言
上傳用戶：xuan‘nian
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽： HTML web JS 方式
上傳時間： 2014-01-20
上傳用戶：lacsx
關于雙口RAM的Verilog HDL源碼
標簽： Verilog RAM HDL 雙口
上傳時間： 2016-04-17
上傳用戶：爺的氣質
小例子,關于Verilog HDL語言的一些小練習,可供參考.
標簽： Verilog HDL 語言
上傳時間： 2016-04-18
上傳用戶：youlongjian0
蟲蟲下載站版權所有 京ICP備2021023401號-1
