福岡大学蔵書検索

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
(Lecture notes in computer science ; 428)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1990
形態	xvii, 579 p. : ill. ; 25 cm
著者標目	VDM-Europe Symposium (3rd : 1990 : Kiel, Germany) Bjørner, D. (Dines), 1937- Langmaack, Hans Hoare, C. A. R. (Charles Antony Richard), 1934-
件　名	LCSH:Computer software -- Development -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA76.76.D47
書誌ID	LT00316542

所蔵情報を非表示

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

書誌詳細を非表示

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

目次／あらすじ