Process algebra : equational theories of communicating processes

• • Baeten, J. C. M.
• • Basten, Thomas Geertruida Henricus
• • Reniers, M. A. (Michel Adriaan)

• 関連文献: 1件

• • Baeten, J. C. M.
• • Basten, Thomas Geertruida Henricus
• • Reniers, M. A. (Michel Adriaan)

Process algebra : equational theories of communicating processes

J.C.M. Baeten, T. Basten, M.A. Raniers

(Cambridge tracts in theoretical computer science, 50)

Cambridge University Press, 2010

• : hardback

大学図書館所蔵 件 / 全7件

• 大阪大学 附属図書館 総合図書館

  : hardback10301701321

  OPAC

• 関西大学 図書館 図

  : hardback210951583

  京都大学 数理解析研究所 図書室 数研

  : hardbackBAE||4||4200014019576

  OPAC

• 京都大学 理学部 数学

  : hardbackBAE||01.80||02200008982538

  OPAC

• 国際基督教大学 図書館 図

  : hardback007.6/B142pr06982027

  OPAC

• 東京電機大学 総合メディアセンター 鳩山センター

  : hardback549.9/C-14/506009002489

  OPAC

• 名古屋大学 工学 図書室 工情報

  : hardback007.6||B41509466

  該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

Includes bibliographical references (p. 411-420) and indexes

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

• 1

  Cambridge tracts in theoretical computer science

  Cambridge University Press