<図書>
Logics and models of concurrent systems / edited by Krzysztof R. Apt
(NATO ASI series ; ser. F . Computer and systems sciences ; v. 13)
出版者 | Berlin ; Tokyo : Springer-Verlag |
---|---|
出版年 | c1985 |
コード類 | 書誌ID=2000005882 NCID=BA00675146 |
書誌詳細を表示
本文言語 | 英語 |
---|---|
大きさ | viii, 498 p. : ill. ; 25 cm |
一般注記 | "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso "Published in cooperation with NATO Scientific Affairs Division." |
著者標目 | *NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France) Apt, Krzysztof R., 1949- North Atlantic Treaty Organization. Scientific Affairs Division |
件 名 | LCSH:Parallel processing (Electronic computers) -- Congresses
全ての件名で検索
LCSH:Electronic data processing -- Distributed processing -- Congresses 全ての件名で検索 |
分 類 | LCC:QA76.5 DC19:001.64 NDLC:M151 |
巻冊次 | : Germany ; ISBN:3540151818 : U.S. ; ISBN:0387151818 |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 印刷 | 予約 | 利用注記 | 文献取寄 | eDDS |
---|---|---|---|---|---|---|---|---|---|---|---|---|
情・情報図書室・書庫 |
|
001.6/K949 | 3570007443 |
|
0387151818 | 1985 |
|