Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

＜図書＞
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

責任表示	edited by Austin Melton
シリーズ	Lecture notes in computer science ; 239
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , c1986
本文言語	英語
大きさ	vi, 395 p. : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/7018627

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図3F 数理独自	SER/LNCS/239	c1986		068222186007970		予約・取寄			予約・取寄
	: gw	理系図自動書庫	408/L 49	1986		061232004006664		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographies
著者標目	Melton, Austin *Conference on the Mathematical Foundations of Programming Semantics (1985 : Manhattan, Kan.)
件　名	LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses 全ての件名で検索 LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索 NDLSH:プログラミング用言語 NDLSH:電子計算機
分　類	LCC:QA76.7 DC19:005.13/1 NDC8:007.64
書誌ID	1000966611
ISBN	3540168168
NCID	BA0038542X
巻冊次	: gw ; ISBN:3540168168 : us ; ISBN:0387168168
登録日	2009.09.16
更新日	2017.02.18