---

Correct hardware design and verification methods : 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)
(Lecture notes in computer science ; 1703)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1999
形態	xi, 366 p. : ill. ; 24 cm
著者標目	Advanced Research Working Conference on Correct Hardware Design Methodologies (1999 : Bad Herrenalb, Germany) Pierre, Laurence Kropf, Thomas, 1961-
件　名	LCSH:Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses  全ての件名で検索 LCSH:Integrated circuits -- Verification -- Congresses  全ての件名で検索 LCSH:Computer-aided design -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00574100

 類似資料