---

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)
(Lecture notes in computer science ; 2144)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	xii, 482 p. : ill. ; 24 cm
著者標目	*Advanced Research Working Conference on Correct Hardware Design Methodologies (2001 : Livingston, Scotland, UK) Margarita, Tiziana Melham, T. F. (Tom F.)
件　名	LCSH:Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses  全ての件名で検索 LCSH:Integrated circuits -- Verification -- Congresses  全ての件名で検索 LCSH:Computer-aided design -- Congresses  全ての件名で検索 LCSH:Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00623094

 類似資料