ホーアCSPモデルの理論

Author(s)

Bibliographic Information

ホーアCSPモデルの理論

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

丸善, 1992.2

Other Title

CSPモデルの理論

Communicating sequential processes

Title Transcription

ホーア CSP モデル ノ リロン

Access to Electronic Resource 1 items

Available at  / 82 libraries

Note

参考文献: p[237]-238

索引: p[241]-246

Description and Table of Contents

Table of Contents

  • １　プロセス
  • ２　並行性
  • ３　非決定性
  • ４　通信
  • ５　逐次プロセス
  • ６　共有資源
  • ７　議論

by "BOOK database"

Details

  • NCID
    BN07286723
  • ISBN
    • 4621036831
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xxii,246p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top