Book:Journal/Communications of the Association for Computing Machinery

From ProofWiki
Jump to navigation Jump to search

Communications of the Association for Computing Machinery

(Commun. ACM)

Publisher: Association for Computing Machinery


Dates

Started publication: $1957$
(current)

Featured Articles

  • 1971: C.A.R. Hoare: Proof of a program: FIND (Vol. 14: pp. 39 – 45)
  • 1975: Edsger W. Dijkstra: Guarded commands, nondeterminacy and formal derivation of programs (Vol. 18: pp. 453 – 457)
Retrieved from "https://proofwiki.org/w/index.php?title=Book:Journal/Communications_of_the_Association_for_Computing_Machinery&oldid=355210"