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

＜図書＞
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 : Springer , c2001
本文言語	英語
大きさ	xii, 482 p. : ill. ; 24 cm
電子版へのリンク	https://hdl.handle.net/2324/7006942

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図自動書庫	408/L 49	2001		061232004025691		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographical references and index
著者標目	*Advanced Research Working Conference on Correct Hardware Design Methodologies (11th : 2001 : Livingston, Scotland, UK) Margaria, 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 全ての件名で検索
分　類	LCC:TK7874.75
書誌ID	1001019840
ISBN	3540425411
NCID	BA53434454
巻冊次	ISBN:3540425411
登録日	2009.09.16
更新日	2017.02.18