書誌事項

ホーアCSPモデルの理論

C. A. R. Hoare [著] ; 吉田信博訳

丸善, 1992.2

タイトル別名

CSPモデルの理論

Communicating sequential processes

タイトル読み

ホーア CSP モデル ノ リロン

大学図書館所蔵 件 / 84

注記

参考文献: p[237]-238

索引: p[241]-246

内容説明・目次

目次

  • 1 プロセス
  • 2 並行性
  • 3 非決定性
  • 4 通信
  • 5 逐次プロセス
  • 6 共有資源
  • 7 議論

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BN07286723
  • ISBN
    • 4621036831
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xxii,246p
  • 大きさ
    22cm
  • 分類
  • 件名
ページトップへ