< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
LPC 2300 串口開發；LPC2300是NXP 公司推出的最新的嵌入式芯片；異步串口通訊功能很強；本人寫了個測試案例；供大家參考；
標簽： 2300 LPC NXP 串口開發
上傳時間： 2013-12-09
上傳用戶：dyctj
UCOS-II在2812DSP芯片上的移植C源代碼
標簽： UCOS-II 2812 DSP 芯片
上傳時間： 2016-04-10
上傳用戶：yyyyyyyyyy
本源碼是ucos-ii操作系統的內核，使用者可以根據自己單片機的型號進行修好。
標簽： ucos-ii 源碼 操作系統 內核
上傳時間： 2016-04-11
上傳用戶：時代電子小智
uCos-II 打字練習游戲 源代碼, 歡迎各位進行二次開發
標簽： uCos-II 源代碼 二次開發
上傳時間： 2014-01-23
上傳用戶：leixinzhuo
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳用戶：jqy_china
AT89C55WD上移植的ucos-ii, 非常有用, 串口觀看輸出與調試。
標簽： ucos-ii 89C C55 AT
上傳時間： 2014-01-17
上傳用戶：520
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
實時操作系統ucos-II在c8051f020上的移植
標簽： c8051f020 ucos-II 實時操作系統 移植
上傳時間： 2016-04-13
上傳用戶：hullow
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
蟲蟲下載站版權所有 京ICP備2021023401號-1
