福岡大学蔵書検索

検索結果一覧に戻る

Computer aided verification : 15th International Conference, CAV 2003, Boulder, Co, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.)
(Lecture notes in computer science ; 2725)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xii, 462 p. : ill. ; 24 cm
別書名	背表紙タイトル:Computer aided verification : CAV 2003 表紙タイトル:Computer aided verification : 15th international conference, CAV 2003, Boulder, Co, USA, July 2003 : proceedings
著者標目	*Computer Aided Verification (CAV) (15th : 2003 : Boulder, Co, USA) Hunt, Warren A., 1958- Somenzi, Fabio
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:Integrated circuits -- Verification -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.76.V47
書誌ID	LT00672428

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	549.92/L49-1/2725	0113125660100	9783540405245				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the proceedings of the conference on Computer Aided Verification (CAV 2003) held in Boulder, Colorado, on July 8-12, 2003."--Pref. Includes bibliographical references and index
NCID	BA6307391X
巻冊次	ISBN:3540405240

目次／あらすじ