詳細情報

刊年

2003

形態

xii, 426 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2860

注記

Includes bibliographical references and index

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Advanced Research Working Conference on Correct Hardware Design Methodologies [ CHARME ] [ Advanced Research Working Conference on Correct Hardware Design and Verification Methods ] [ Conference on Correct Hardware Design Methodologies, Advanced Research Working ] [ IFIP WG 10.2 Advanced Research Working Conference, CHARME ] [ IFIP WG 10.5 Advanced Research Working Conference, CHARME ]

Geist, Daniel, 1961-

Tronci, Enrico, 1961-

分類

LCC:TK7874.75

DC22:621.39/5

件名

Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses

Integrated circuits -- Verification -- Congresses

ISBN

354020363X

NCID

BA6437643X

番号

LCCN : 2003057017