Information flow : the logic of distributed systems

著者

• Barwise, Jon
• Seligman, Jerry

書誌事項

Information flow : the logic of distributed systems

Jon Barwise, Jerry Seligman

（Cambridge tracts in theoretical computer science, 44）

Cambridge University Press, 1997

• : hardback
• : pbk

注記

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

詳細情報

• NII書誌ID(NCID): BA32415677
• ISBN:
  • 9780521583862
  • 9780521070997
• LCCN: 96046111
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: xv, 274 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.D5
  • DC20 : 003/.54
  • NDC8 : 007.1
• 件名:
  • LCSH : Electronic data processing -- Distributed processing
• 親書誌ID:
  • BA01121831