Information flow : the logic of distributed systems, : hbk

Information flow : the logic of distributed systems, : hbk

Jon Barwise, Jerry Seligman

Cambridge ; New York : Cambridge University Press, 1997

図書等

巻号情報

: hbk
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.6-B25

10005025003

一般図書

詳細情報

刊年

1997

形態

xv, 274 p. : ill. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 44

注記

Includes bibliographiy (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

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Barwise, Jon [ Barwise, John ] [ Barwise, K. Jon, 1942- ] [ Barwise, J. (Jon) ] [ バーワイズ, ジョン (バーワイズ, ジョン) ]

Seligman, Jerry, 1964-

分類

LCC:QA76.9.D5

DC20:003/.54

NDC8:007.1

件名

Electronic data processing -- Distributed processing

ISBN

0521583861 (: hbk)

NCID

BA32415677

番号

LCCN : 96046111