Looking for results similar to:
Searching for:
Found 10,071 results
sorted by:
Pages: 1 2 3 ...
C. A. R. Hoare : An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM (CACM) 26(1):53-56 (1983)
C. A. R. Hoare : Viewpoint - Retrospective: an axiomatic basis for computer programming. Commun. ACM (CACM) 52(10):30-32 (2009)
Bruce W. Arden : The role of programming in a Ph.D. computer science program. Commun. ACM (CACM) 12(1):31-38 (1969)
Bruce J. MacLennan : Fen-An Axiomatic Basis for Program Semantics. Commun. ACM (CACM) 16(8):468-474 (1973)
B. R. Hunt : A comment on axiomatic approaches to programming. Commun. ACM (CACM) 13(7):452 (1970)
Jack L. Rosenfeld : A case study in programming for parallel-processors. Commun. ACM (CACM) 12(12):645-655 (1969)
Manfred R. Schroeder : Images from computers and microfilm plotters. Commun. ACM (CACM) 12(2):95-101 (1969)
Joyce Friedman : A computer system for transformational grammar. Commun. ACM (CACM) 12(6):341-348 (1969)
John J. Cannon : Computers in group theory: a survey. Commun. ACM (CACM) 12(1):3-12 (1969)
Dennie Van Tassel : Advanced cryptographic techniques for computer. Commun. ACM (CACM) 12(12):664-665 (1969)
(search: 0.007 sec. - facets: 0.055 sec.- similarity: 1.95 sec) (?)
Pages: 1 2 3 ...

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]