関西学院大学図書館

Distributed systems : methods and tools for specification : an advanced course

M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert. -- : gw, : us. -- Springer-Verlag, c1985. -- (Lecture notes in computer science ; 190). <BY00100872>
このページのURL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 : gw 上ケ原館外書庫図書 510.78:265:190 0096327234 0件
No. 0001
巻号 : gw
配架場所 上ケ原館外書庫図書
請求記号 510.78:265:190
資料ID 0096327234
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Distributed systems : methods and tools for specification : an advanced course / M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert
出版事項 Berlin ; New York : Springer-Verlag , c1985
形態 vi, 573 p. ; 25 cm
シリーズ名等 Lecture notes in computer science <BY02000012> 190//a
巻号情報
巻次等 : gw
ISBN 3540152164
巻号情報
巻次等 : us
ISBN 0387152164
注記 Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München
注記 Bibliography: p. [548]-564
NCID BA00535679
本文言語 英語
著者標目 Alford, M. W. (Mack W.) <AU00229338>
著者標目 Paul, Manfred, 1932- <AU00033463>
著者標目 Siegert, H. J., 1935- <AU00229234>
著者標目 Technische Universität München. Institut für Informatik <AU00033464>
分類標目 LCC:QA76.9.D5
分類標目 DC19:001.64
分類標目 情報科学 NDC8:007.6
件名標目等 Electronic data processing -- Distributed processing -- Addresses, essays, lectures
件名標目等 データ処理||データショリ