---

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci (eds.)
(Lecture notes in computer science ; 2860)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xii, 424 p. : ill. ; 24 cm
別書名	背表紙タイトル:Correct hardware design and verification methods : CHARME 2003 表紙タイトル:Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 2003 : proceedings
著者標目	*Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) (12th : 2003 : L'Aquila, Italy) Geist, Daniel, 1961- Tronci, Enrico, 1961-
件　名	LCSH:Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses  全ての件名で検索 LCSH:Integrated circuits -- Verification -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:TK7874.75 DC22:621.39/5
書誌ID	LT00675606

 類似資料