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 |