福岡大学蔵書検索

検索結果一覧に戻る

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger (eds.)
(Lecture notes in computer science ; 1102)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1996
形態	xii, 472 p. : ill. ; 24 cm
著者標目	*International Conference on Computer Aided Verification (8th : 1996 : New Brunswick, N.J., USA) Alur, Rajeev, 1966- Henzinger, Thomas A.
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:Electronic digital computers -- Evaluation -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00506813

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/1102	0110420900100	9783540614746				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references and index
NCID	BA2806636X
巻冊次	ISBN:3540614745

目次／あらすじ