位置：成果数据库 > 著作 > 著作详情页
Predicate transformer semantics of quantum programs
  • 所属机构名称：清华大学
  • 成果类型：著作
  • 出版社：Cambridge University Press 2009
  • 相关项目：量子软件的理论与方法
同著作项目
量子软件的理论与方法
期刊论文 36 会议论文 10 获奖 2 著作 1
同项目著作