Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

＜図書＞
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

責任表示	E.M. Clarke, R.P. Kurshan, editors
シリーズ	DIMACS series in discrete mathematics and theoretical computer science ; v. 3
データ種別	図書
出版情報	Providence, RI : American Mathematical Society Baltimore, Md. : Association for Computing Machinery , c1991
本文言語	英語
大きさ	xii, 628 p. : ill. ; 27 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	P 91/COMP/3	1991		068222192000921		予約・取寄			予約・取寄
	: ACM	理系図2F 開架	548.2/C 76	1991		031212007603614		予約・取寄			予約・取寄

一般注記	"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso Includes bibliographical references
著者標目	*DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science) Clarke, E. M. Kurshan, R. P., 1943-
件　名	LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses 全ての件名で検索 LCSH:Computer-aided design -- Congresses 全ての件名で検索
分　類	LCC:TK7874 DC20:621.381/5
書誌ID	1000029982
ISBN	0821865943
NCID	BA13087672
巻冊次	: AMS ; ISBN:0821865943 : ACM ; ISBN:0897913868
登録日	2009.09.10
更新日	2009.11.02