福岡大学蔵書検索

Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner
(Lecture notes in computer science ; 86)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1980
形態	xi, 566 p. : ill. ; 25 cm
著者標目	Copenhagen Winter School on Abstract Software Specifications (1979) Bjørner, D. (Dines), 1937- Commission of the European Communities
件　名	LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:001.64/2 LCC:QA76.6
書誌ID	LT00169009

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

本文言語	英語
一般注記	Sponsored by the Commission of the European Communities ... [et al.] Includes bibliographies
NCID	BA03669398
巻冊次	: Germany ; ISBN:3540100075

目次／あらすじ