Volume 22; Issue 5

Communications of the ACM

Volume 22; Issue 5
1

Reasoning about arrays

Reynolds, John C.
Journal:
Communications of the ACM
Year:
1979
Language:
english
File:
PDF, 6.15 MB
english, 1979
2

A model for and discussion of multi-interpreter systems

Manthey, Michael J.
Journal:
Communications of the ACM
Year:
1979
Language:
english
File:
PDF, 7.77 MB
english, 1979
4

Consumer difficulties with computerized transactions: an empirical investigation

Sterling, T. D.
Journal:
Communications of the ACM
Year:
1979
Language:
english
File:
PDF, 4.85 MB
english, 1979
5

ACM forum

Ashenhurst, Robert L.
Journal:
Communications of the ACM
Year:
1979
Language:
english
File:
PDF, 245 KB
english, 1979
6

Social processes and proofs of theorems and programs

De Millo, Richard A., Lipton, Richard J., Perlis, Alan J.
Journal:
Communications of the ACM
Year:
1979
Language:
english
File:
PDF, 1.06 MB
english, 1979