Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

＜図書＞
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

責任表示	Ed Brinksma, Kim Guldstrand Larsen (eds.)
シリーズ	Lecture notes in computer science ; 2404
データ種別	図書
出版情報	Berlin : Springer , c2002
本文言語	英語
大きさ	xiii, 626 p. : ill. ; 24 cm

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

別書名	表紙タイトル:Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 2002 : proceedings
一般注記	Includes bibliographical references and index
著者標目	*CAV (Conference) (14th : 2002 : Copenhagen, Denmark) Brinksma, Ed Larsen, K. G. (Kim G.), 1957-
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:Integrated circuits -- Verification -- Congresses 全ての件名で検索
分　類	LCC:QA76.76.V47
書誌ID	1001024187
ISBN	3540439978
NCID	BA58064487
巻冊次	ISBN:3540439978
登録日	2009.09.16
更新日	2017.02.18