大葉大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

反應式系統的可組合規格與自動驗證

~

國立台灣資訊管理學系(所)

反應式系統的可組合規格與自動驗證

紀錄類型:	微縮資料 : 單行本
作者:	蔡益坤
其他團體作者:	國立台灣資訊管理學系(所)
出版地:	台北市
出版者:	行政院國家科學委員會科學技術資料中心;
面頁冊數:	20頁 : 11x15公分;
標題:	電腦學 -
附註:	NSC86-2213-E002-002

反應式系統的可組合規格與自動驗證
蔡益坤

反應式系統的可組合規格與自動驗證 / 蔡益坤撰 ; 國立台灣資訊管理學系(所) - 台北市 : 行政院國家科學委員會科學技術資料中心 - 20頁 ; 11x15公分.
NSC86-2213-E002-002.
電腦學

反應式系統的可組合規格與自動驗證
LDR:00386nhm 2200133 450 001 301180
009 9105044
100 $a 20100608 0chiy0900 e
101 $a chi
102 $a tw
200 1 $a 反應式系統的可組合規格與自動驗證 $f 蔡益坤撰 $g 國立台灣資訊管理學系(所)
210 $a 台北市 $c 行政院國家科學委員會科學技術資料中心
215 $a 20頁 $d 11x15公分
300 $a NSC86-2213-E002-002
606 $a 電腦學 $3 49946
700 $a 蔡益坤 $4 撰 $3 326360
712 $a 國立台灣資訊管理學系(所) $3 326361
801 1 $a TW $b 大葉大學 $c 20020205

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

804020000000126

三樓視聽資料區

3.不外借

微縮資料(microform)

MF 020 4484-A

1.一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入