福岡大学蔵書検索

検索結果一覧に戻る

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
(Lecture notes in computer science ; 802)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1994
形態	ix, 648 p. : ill. ; 24 cm
著者標目	Brookes, Stephen D. Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, LA, USA)
件　名	LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:005.13/1 LCC:QA76.7
書誌ID	LT00460230

所蔵情報を非表示

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

書誌詳細を非表示

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

目次／あらすじ