The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - April-June (vol. 25)
ISSN: 1058-6180
About This Issue
Features

Assertions: A Personal Perspective (Abstract)

C.A.R. Hoare , Microsoft Research
pp. 14-25

The Early Search for Tractable Ways of Reasoning about Programs (Abstract)

Cliff B. Jones , University of Newcastle-upon-Tyne
pp. 26-49

Before the B5000: Burroughs Computers, 1951-1963 (Abstract)

George T. Gray , Georgia Technology Authority
pp. 50-61

The Making of the MCM/70 Microcomputer (Abstract)

Zbigniew Stachniak , York University, Canada
pp. 62-75
Departments

Anecdotes (Abstract)

pp. 80-82

Reviews (Abstract)

pp. 83-85

Biographies (Abstract)

pp. 86-92
Think Piece
96 ms
(Ver )