語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
數字硬件的形式化驗證
~
韓俊剛
FindBook
Google Book
Amazon
博客來
數字硬件的形式化驗證
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
數字硬件的形式化驗證/ 韓俊剛,杜慧敏
作者:
韓俊剛
其他作者:
杜慧敏
出版者:
北京大學出版社, : 2001,
面頁冊數:
269面
電子資源:
http://www.chinamaxx.net/showbook?dxNumber=11125887&d=3ADFDFDE241665635386C6FC8FA85968&fFenleiID=0T0P207040
ISBN:
7301053320
數字硬件的形式化驗證
韓俊剛
數字硬件的形式化驗證
[電子資源] /韓俊剛,杜慧敏 - 北京大學出版社,2001 - 269面
電子書
ISBN: 7301053320
數字硬件的形式化驗證
LDR
:00540nmm a2200181 a 4500
001
1552920
006
m d
007
cr mn| a|m||
008
130603s2001 cc 000 0 chi d
020
$a
7301053320
035
$a
11125887
040
$a
SUPERSTAR
$b
chi
$c
NDHU
041
0
$a
chi
044
$a
cc
100
1
$a
韓俊剛
$3
1766416
245
1 0
$a
數字硬件的形式化驗證
$h
[電子資源] /
$c
韓俊剛,杜慧敏
260
$b
北京大學出版社,
$c
2001
300
$a
269面
516
$a
電子書
700
1
$a
杜慧敏
$3
1766417
856
4 0
$u
http://www.chinamaxx.net/showbook?dxNumber=11125887&d=3ADFDFDE241665635386C6FC8FA85968&fFenleiID=0T0P207040
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E90447528
電子資源
11.線上閱覽_V
電子書
EB 440 4760
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入