< B語言與方法:實用形式化開發(fā)指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規(guī)格說明和高集成 系統開發(fā)的方掛。首先,介紹了B 語言的發(fā)展歷史及與其他語言的關系,然 后,從集合、序列等基本數學符號表示到B 語言的結構化機制,再到它所支 持的大型程序設計方法,全面地介細了B 符號語言的描述方法。
標簽: gt 語言 lt 開發(fā)指南
上傳時間: 2014-11-29
上傳用戶:康郎
在Matlab環(huán)境下用最小相位法和負倒譜實現的對序列的轉換
標簽: Matlab 環(huán)境 序列 相位法
上傳時間: 2016-04-08
上傳用戶:lz4v4
能用單片機控制DDS芯片實現對輸出信號頻率/相位的調節(jié),并具有調頻、點頻、掃頻等工作模式,并可以通過液晶顯示
標簽: DDS 用單片機 控制 芯片
上傳時間: 2014-01-26
上傳用戶:黃華強
uclinux 中如何使用b核的文章,經典
標簽: uclinux 如何使用
上傳時間: 2016-04-11
上傳用戶:jqy_china
采用基于B/S結構進行開發(fā)學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽: JavaBean Servlet MySQL Jsp
上傳時間: 2013-11-26
上傳用戶:yuchunhai1990
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業(yè)環(huán)境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽: ORACLE8i JSP 家
上傳時間: 2014-01-25
上傳用戶:壞壞的華仔
全新的B/S結構開發(fā)方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽: HTML web JS 方式
上傳時間: 2014-01-20
上傳用戶:lacsx
用矩形窗設計線性相位FIR低通濾波器,給了源代碼,已經調試過了。其中要用到一個函數myfreqz要自己編,在這也附上其代碼。希望對大家有用。
標簽: FIR 矩形 相位 低通濾波器
上傳時間: 2013-12-19
上傳用戶:siguazgb
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優(yōu)點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優(yōu)點,是進行B/S模式下功能測試的首選工具
標簽: Professional QTP Quick Test
上傳時間: 2016-04-21
上傳用戶:tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程,其中p為任意素數,a,b,c為任意整數.
標簽: mod 方程
上傳時間: 2014-01-11
上傳用戶:er1219
蟲蟲下載站版權所有 京ICP備2021023401號-1