大葉大學圖書館 |

言語: 日文

Correct hardware design and verifica...

Geist, Daniel

Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003

レコード種別:	言語・文字資料 (印刷物) : 単行資料
タイトル / 著者:	Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003/ Geist, Daniel;Tronci, Enrico
著者:	Geist, Daniel
その他の著者:	Tronci, Enrico
出版された:	New York : Springer-Verlag, 2003
記述:	426頁; 23x15公分
主題:	Integrated circuits - Very lar
主題:	Integrated circuits -Verificat
国際標準図書番号 (ISBN) :	354020363X(平裝)

Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003
Geist, Daniel

Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003Geist, Daniel;Tronci, Enrico - 1st ed - New YorkSpringer-Verlag2003 - 426頁23x15公分 - Lecture Notes in Computer Science2860.

ISBN: 354020363X(平裝)Subjects--Topical Terms:

207803
Integrated circuits - Very lar

Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003
LDR:00510nam 2200157 450 001 186600
008 100607t2003 us a a 000 0 eng d
020 $a 354020363X(平裝)
035 $a 9418250
040 $b eng $c DYU
041 0 # $a eng
044 $a us
100 0 $a Geist, Daniel $3 414037
245 1 0 $a Correct hardware design and verification methods: 12th IFIP WG 10.5 Advnced Research Working Conference,CHARME 2003 $c Geist, Daniel;Tronci, Enrico
250 $a 1st ed
260 # $a New York $b Springer-Verlag $c 2003
300 $a 426頁 $c 23x15公分
490 0 $a Lecture Notes in Computer Science $v 2860
650 # 0 $a Integrated circuits - Very lar $3 207803
650 # 0 $a Integrated circuits -Verificat $3 207804
700 0 # $a Tronci, Enrico $3 414038