0001-0782

Communications of the ACM (CACM) - Issue 239 论文列表

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 239
发布时间:
卷期年份: 1977
卷期官网:
本期论文列表
An Exercise in Proving Parallel Programs Correct.

A Language for Formal Problem Specification.

A Survey of Computer Science Offerings In Small Liberal Arts Colleges.

A Case Study of a New Code Generation Technique for Compilers.

Computers as an American Local Governments.

A Conceptual Framework for a Nonprocedural Programming Language.

A Methodology for Interactive Computer Service Measurement.