位置：成果数据库 > 著作 > 著作详情页
Semantics of Probabilistic Processes: An Operational Approach
  • 所属机构名称：上海交通大学
  • 时间：2015.2.14
  • 成果类型：著作
  • 出版社：Springer
  • 相关项目：M-可解性、M-计算复杂性与计算机科学的模型理论
作者： Yuxin Deng|
同著作项目
M-可解性、M-计算复杂性与计算机科学的模型理论
期刊论文 26 会议论文 51 获奖 5 著作 1
同项目著作