福岡大学蔵書検索

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst (eds.)
(Lecture notes in computer science ; 663)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1993
形態	ix, 422 p. : ill. ; 24 cm
著者標目	CAV (Conference) (4th : 1992 : Montréal, Québec) Bochmann, Gregor V. Probst, David Karl
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:Electronic digital computers -- Evaluation -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:511.3/0285 LCC:QA76.76.E93
書誌ID	LT00423300

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references
NCID	BA19829380
巻冊次	ISBN:3540564969

目次／あらすじ