國立臺東專科學校圖書館 |

語系: 繁體中文

說明(常見問題)

校園入口網

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

交互式馬爾可夫鏈 : 併發系統的設計、驗證與評價

~

覃廣平

交互式馬爾可夫鏈 : 併發系統的設計、驗證與評價

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	併發系統的設計、驗證與評價
作者:	吳盡昭,
其他作者:	王永祥,
其他作者:	覃廣平,
出版地:	北京市
出版者:	科學出版社;
出版年:	2007.06
版本:	第一版
面頁冊數:	10,109面圖 : 25公分;
集叢名:	數學機械化叢書
標題:	機率 -
附註:	內容為簡體字
摘要註:	本書主要研究了IMC的理論及其在併發系統層次設計以及功能驗證與性能評價方面的應用,主要內容包括:IMC上的分支時間等價和前序關系、IMC的動作細化理論以及基于IMC的模型檢驗方法。
ISBN:	978-7-03-018866-3

交互式馬爾可夫鏈 : 併發系統的設計、驗證與評價
吳, 盡昭

交互式馬爾可夫鏈 : 併發系統的設計、驗證與評價 / 吳盡昭,王永祥,覃廣平著 - 第一版. - 北京市 : 科學出版社, 2007.06. - 10,109面 ; 圖 ; 25公分. - (數學機械化叢書 ; 9).
內容為簡體字參考書目:面[103]-109.
ISBN 978-7-03-018866-3
機率

王, 永祥

交互式馬爾可夫鏈 : 併發系統的設計、驗證與評價
LDR:00994cam2 2200241 450 001 81218
005 20230119115311.0
009 NTC103070118
010 0 $a 978-7-03-018866-3 $b 精裝 $d CNY28
100 $a 20140715d2007 k y0chiy50 e
101 0 $a chi
102 $a cn
105 $a a z 000yy
200 1 $a 交互式馬爾可夫鏈 $e 併發系統的設計、驗證與評價 $f 吳盡昭,王永祥,覃廣平著
205 $a 第一版
210 $a 北京市 $d 2007.06 $c 科學出版社
215 0 $a 10,109面 $c 圖 $d 25公分
225 1 2 $a 數學機械化叢書 $v 9
300 $a 內容為簡體字
300 $a 參考書目:面[103]-109
330 $a 本書主要研究了IMC的理論及其在併發系統層次設計以及功能驗證與性能評價方面的應用,主要內容包括:IMC上的分支時間等價和前序關系、IMC的動作細化理論以及基于IMC的模型檢驗方法。
517 1 $a 併發系統的設計、驗證與評價 $z chi
606 $a 機率 $3 18844 $2 csh $3 117536
681 $a 319.1 $b 8845
700 1 $a 吳 $b 盡昭 $4 著 $3 143373
702 1 $a 王 $b 永祥 $4 著 $3 143374
702 1 $a 覃 $b 廣平 $4 著 $3 143375
801 0 $a tw $b 國立臺東專科學校 $c 20140715 $g CCR

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

083207

誠樸總館3F中文書區

一般圖書（BOOK）

一般圖書

319.1 8845 96

一般使用(Normal)

在架

0

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入