< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
由VB做的ERP程序﹐文檔還可以﹐其實只是一個倉庫管理﹐但是思路還可以
標簽： ERP 程序
上傳時間： 2016-04-11
上傳用戶：aappkkee
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳用戶：jqy_china
在了解實時嵌入式操作系統內存管理機制的特點以及實時處理對內存管理需求的基礎上，練習并掌握有效處理內存碎片的內存管理機制，同時理解防止內存泄漏問題的良好設計方法。使用預先規劃的思想，構建自己的私有內存管理機制，在系統內存池中申請內存，并將其納入私有內存管理機制中，形成靜態預分配內存池； 靜態預分配內存池支持一種以上固定長度內存池，如16 字節內存池和256 字節內存池。固定長度內存池的單塊長度應考慮體系結構開銷，并盡量減少內部碎片；固定長度內存池數量應可配置； 靜態預分配內存池與系統內存池的統一管理機制。向用戶分配內存時應保證長度最佳匹配原則。當申請內存的長度超過靜態預分配長度或資源不足時，自動向系統內存池申請； 管理機制包括： a) 初 始化函數； b) 內 存申請/釋放函數。并特別要保證釋放安全； c) 告 警機制； d) 管 理監視機制。 5. 利用可能的互斥機制或代碼可重入設計，保證以上管理機制的操作安全性； 6. 創建多Task 環境測試及演示以上內容
標簽： 內存管理 實時嵌入式 實時處理 操作系統
上傳時間： 2016-04-12
上傳用戶：lizhen9880
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽： HTML web JS 方式
上傳時間： 2014-01-20
上傳用戶：lacsx
一個職工信息管理系統。 系統功能如下： 1，創建存儲該單位職工信息的存儲系統，在第一次輸入基本信息時，創建文件將職工信息寫入文件。 2，增加職工信息，增加新職工時輸入新職工的基本信息并加入文件。 3，刪除某職工的基本信息，同時修改文件中相應的內容。 4，修改某職工的某些信息，如加工資，獲新學位，晉升職稱。 5，可以輸出符合某種特征的職工信息列表，包括： a）全體職工信息； b）某職稱的職工全部信息； c）出生日期在某一范圍的全部職工信息； d）某一部門全部職工信息。
標簽： 信息管理系統
上傳時間： 2013-11-30
上傳用戶：woshini123456
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p為任意素數，a,b,c為任意整數.
標簽： mod 方程
上傳時間： 2014-01-11
上傳用戶：er1219
用java編寫的標準化考試系統 (B/S網絡版)
標簽： java 編寫 標準化
上傳時間： 2013-12-18
上傳用戶：qoovoop
用java編寫的 圖書查詢系統 (B/S網絡版)
標簽： java 編寫 圖書 查詢系統
上傳用戶：三人用菜
蟲蟲下載站版權所有 京ICP備2021023401號-1
