< B語言與方法:實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先,介紹了B 語言的發展歷史及與其他語言的關系,然 后,從集合、序列等基本數學符號表示到B 語言的結構化機制,再到它所支 持的大型程序設計方法,全面地介細了B 符號語言的描述方法。
標簽: gt 語言 lt 開發指南
上傳時間: 2014-11-29
上傳用戶:康郎
uclinux 中如何使用b核的文章,經典
標簽: uclinux 如何使用
上傳時間: 2016-04-11
上傳用戶:jqy_china
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽: JavaBean Servlet MySQL Jsp
上傳時間: 2013-11-26
上傳用戶:yuchunhai1990
8.2并行接口電壓輸出型DA轉換器的控制
標簽: 8.2 并行接口 DA轉換器 電壓輸出
上傳時間: 2016-04-13
上傳用戶:皇族傳媒
8.3并行接口電流輸出型DA轉換器的控制
標簽: 8.3 并行接口 DA轉換器 電流輸出
上傳用戶:黑漆漆
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽: ORACLE8i JSP 家
上傳時間: 2014-01-25
上傳用戶:壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽: HTML web JS 方式
上傳時間: 2014-01-20
上傳用戶:lacsx
主要介紹了如何使用E8仿真器在以Renesas芯片為MCU的開發板上進行仿真調試。 第1 章 概要 第2 章 E8 仿真器功能 第3 章 使用前的準備 第4 章 調試的準備 第5 章 調試 第6 章 教程示例 附錄A E8 仿真器的構成 附錄B 窗口功能一覽 附錄C 命令行功能 附錄D High-performance Embedded Workshop 的注意事項 附錄E 有關硬件診斷程序 E.1 為了執行診斷程序的系統設置 E.2 診斷程序的執行 E.3 錯誤發生時的處理
標簽: Renesas MCU 仿真器 調試
上傳時間: 2013-12-26
上傳用戶:chens000
8051與0804AD轉換器接口程序,是用匯編語言編寫,還有部分注釋. 0804的基本應用,轉動電位器,P0口顯示取到的數
標簽: 8051 0804 AD 轉換器
上傳時間: 2016-04-16
上傳用戶:wanghui2438
200讀寫器的電路板、單片機程序、USB接口驅動程序、函數動態庫全部自主開發,把復雜的IC卡認證讀寫過程集成-—轉化為更簡單的函數調用操作,即使是從未接觸過一卡通開發的軟件開發人員,寫起程序來也毫無困難,一般的記數、扣費操作,只需一個讀卡、一個寫卡、一個蜂鳴器響聲的函數,就可以輕松完成對卡的操作
標簽: 200 USB 讀寫器 電路板
上傳時間: 2016-04-17
上傳用戶:sy_jiadeyi
蟲蟲下載站版權所有 京ICP備2021023401號-1