東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

數字硬件的形式化驗證

~

韓俊剛

Linked to FindBook

Google Book

Amazon

博客來

數字硬件的形式化驗證

Record Type:	Electronic resources : Monograph/item
Title/Author:	數字硬件的形式化驗證/ 韓俊剛,杜慧敏
Author:	韓俊剛
other author:	杜慧敏
Published:	北京大學出版社, : 2001,
Description:	269面
Online resource:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E90447528

電子資源

11.線上閱覽_V

電子書

EB 440 4760

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login