大葉大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal specification and verificatio...

~

MilneGeorge

Formal specification and verification of digital systems

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal specification and verification of digital systems/ Milne,George
作者:	MilneGeorge
出版者:	New York : Mcgraw-Hill Book Company, 1994
面頁冊數:	240頁; 24x16公分
標題:	Digital integrated circuits-..
標題:	Integrated circuits-...
標題:	Hardware description languages
ISBN:	007707811X(精裝)

Formal specification and verification of digital systems
MilneGeorge

Formal specification and verification of digital systemsMilne,George - New YorkMcgraw-Hill Book Company1994 - 240頁24x16公分

ISBN: 007707811X(精裝)Subjects--Topical Terms:

150981
Digital integrated circuits-..

Formal specification and verification of digital systems
LDR:00356nam 2200133 450 001 159709
008 100623t1994 us a a 000 0 eng d
020 $a 007707811X(精裝)
035 $a 8311793
040 $b eng $c DYU
041 $a eng
044 $a us
100 $a MilneGeorge $3 157487
245 1 0 $a Formal specification and verification of digital systems $c Milne,George
260 $a New York $b Mcgraw-Hill Book Company $c 1994
300 $a 240頁 $c 24x16公分
650 $a Digital integrated circuits-.. $3 150981
650 $a Integrated circuits-... $3 137683
650 $a Hardware description languages $3 157488

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

801621392000011

四樓西文圖書區

1.圖書流通

圖書

621.392 M635

1.一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入