Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

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

所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
理系図3F 数理独自	SER/LNCS/1102	1996	023211996007364	予約・取寄		予約・取寄
理系図自動書庫	007/L 49	1996	031212006509258	予約・取寄	出庫可能	予約・取寄	出庫可能
理系図自動書庫	408/L 49	1996	061232004015271	予約・取寄	出庫可能	予約・取寄	出庫可能

一般注記	Includes bibliographical references and index
著者標目	*CAV (Conference) (8th : 1996 : New Brunswick, NJ, USA) Alur, Rajeev, 1966- Henzinger, T. A. (Thomas A.)
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:Electronic digital computers -- Evaluation -- Congresses 全ての件名で検索
分　類	LCC:QA76.76.V47 LCC:QA76.76.E93 DC20:511.3/0285 NDC8:007.63 NDC8:549.7
書誌ID	1000924404
ISBN	3540614745
NCID	BA2806636X
巻冊次	ISBN:3540614745
登録日	2009.09.16
更新日	2017.02.18