Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman
(Cambridge tracts in theoretical computer science ; 44)
| データ種別 | 図書 |
|---|---|
| 著者標目 | *Barwise, Jon Seligman, Jerry, 1964- |
| 出版情報 | Cambridge ; New York : Cambridge University Press , 1997 |
書誌詳細を非表示
| 巻次 | : hbk ; ISBN:0521583861 |
|---|---|
| 大きさ | xv, 274 p. : ill. ; 24 cm |
| 本文言語 | 英語 |
| 一般注記 | Includes bibliography (p. 268-269), glossary of notation (p. 270-271), index of definitions (p. 272-273) and index of names (p. 274) Includes exercises and answers to them |
| 件 名 | LCSH:Electronic data processing -- Distributed processing 全ての件名で検索 |
| 分 類 | LCC:QA76.9.D5 DC20:003/.54 NDC8:007.1 |
| 書誌ID | 1000094254 |
| ISBN | 0521583861 |
| NCID | BA32415677 |

Mendeley出力