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

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

Operational and mathematical semantics for recursive polyadic program schemata

Operational and mathematical semantics for recursive polyadic program schemata

de Roever, W. P.
  • 期刊名称ACM SIGPLAN Notices
  • 作者de Roever, W. P.
  • 卷第8卷
  • 期第6期
  • 印刷ISSN0362-1340
  • 文件大小178.59KB
  • 发表时间1973-06-01
  • DOI10.1145/986953.986968
← 返回【学霸图书馆】主页