发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Operational Domain Theory and Topology of a Sequential Programming Language

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Operational Domain Theory and Topology of a Sequential Programming Language

Escardo, M.; Ho Weng Kin,
  • 作者Escardo, M.; Ho Weng Kin,
  • 文件大小273.21KB
  • 发表时间2005
  • DOI10.1109/lics.2005.34
  • 页码427-436
← 返回【学霸图书馆】主页