Logics for concurrency : structure versus automata

＜図書＞
Logics for concurrency : structure versus automata

責任表示	Faron Moller, Graham Birtwistle, (eds.)
シリーズ	Lecture notes in computer science ; 1043
データ種別	図書
出版情報	Berlin ; New York ; Tokyo : Springer-Verlag , c1996
本文言語	英語
大きさ	xi, 266 p. : ill. ; 24 cm
電子版へのリンク	https://hdl.handle.net/2324/7018565

所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
中央図自動書庫	007.6/Mo 23/1	1996	017211997017216	予約・取寄	出庫可能	予約・取寄	出庫可能
理系図自動書庫	007/L 49	1996	026211996002381	予約・取寄	出庫可能	予約・取寄	出庫可能
理系図自動書庫	007.6/Mo 23	1996	031212006601746	予約・取寄	出庫可能	予約・取寄	出庫可能
理系図自動書庫	408/L 49	1996	061232004014685	予約・取寄	出庫可能	予約・取寄	出庫可能

一般注記	Includes bibliographical references "a result of the VIIIth Banff HIGHER ORDER WORKSHOP held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada."- on Preface "LNCS Tutorial"- on jacket
著者標目	Moller, Faron, 1962- Birtwistle, G. M. (Graham M.)
件　名	LCSH:Electronic data processing -- Distributed processing 全ての件名で検索 LCSH:Parallel processing (Computer science)
分　類	NDC9:007.6 LCC:QA76.9.D5 DC20:004/.36/015113
書誌ID	1000285313
ISBN	3540609156
NCID	BA27313033
巻冊次	ISBN:3540609156
登録日	2009.09.11
更新日	2017.02.18