Finite transition systems : semantics of communicating systems

書誌事項

Finite transition systems : semantics of communicating systems

André Arnold ; translated by John Plaice

(Prentice-Hall International series in computer science)

Masson , Prentice Hall, c1994

タイトル別名

Systèmes de transitions finit et sémantique des processus communicants

統一タイトル

Systèmes de transitions finit et sémantique des processus communicants

大学図書館所蔵 件 / 18

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 169-173) and index

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA24305403
  • ISBN
    • 0130929905
  • LCCN
    93040895
  • 出版国コード
    fr
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 原本言語コード
    fre
  • 出版地
    Paris,Englewood Cliffs, NJ
  • ページ数/冊数
    vii, 177 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ