Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK

＜図書＞
Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK

責任表示	[editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
シリーズ	Workshops in computing
データ種別	図書
出版情報	London ; Tokyo : Springer-Verlag , c1990
本文言語	英語
大きさ	viii, 346 p. : ill. ; 25 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図自動書庫	007.64/Kw	1990		068252190006242		予約・取寄		出庫可能	予約・取寄		出庫可能
	: Germany	理系図自動書庫		1990		027232004153814		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	"Published in collaboration with the British Computer Society." Includes bibliographical references and index
著者標目	*International BCS-FACS Workshop (1990 : University of Leicester) Kwiatkowska, M. Z. (Marta Z.), 1957- Shields, M. W. (Michael William), 1950- Thomas, R. M. (Richard Monro), 1952- S.E.R.C. "Logic for IT." British Computer Society
件　名	LCSH:Parallel programming (Computer science) -- Congresses 全ての件名で検索 LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses 全ての件名で検索
分　類	LCC:QA76.642 DC20:005.2
書誌ID	1001139006
ISBN	0387196250
NCID	BA10794946
巻冊次	: U.S. ; ISBN:0387196250 : Germany ; ISBN:3540196250
登録日	2009.09.17
更新日	2009.09.17