福岡大学蔵書検索

検索結果一覧に戻る

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.)
(Lecture notes in computer science ; 531)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1991
形態	xiii, 372 p. : ill. ; 25 cm
著者標目	CAV (Conference) (2nd : 1990 : New Brunswick, N.J.) Clarke, E. M. Kurshan, R. P., 1943-
件　名	Digital integrated circuits -- Design and construction -- Data processing -- congresses 全ての件名で検索 Computer-aided design -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:621.381/5 LCC:TK7874
書誌ID	LT00372600

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref. Includes bibliographical references
NCID	BA13063222
巻冊次	ISBN:3540544771

目次／あらすじ