The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 09 - September (vol. 20)
ISSN: 0018-9162

Computer Society President's Message (PDF)

R. Russo , Membership and Information
pp. 6-7
Papers

[Front cover] (PDF)

pp. c1-c2

Table of Contents (PDF)

pp. 2-3

Computer Society President's Message (Abstract)

R. Russo , Membership and Information
pp. 6-7

Hypertext: An Introduction and Survey (Abstract)

J. Conklin , Microelectronics and Computer Technology Corp.
pp. 17-41

An Overview of Some Formal Methods for Program Design (Abstract)

C.A.R. Hoare , Oxford University Computing Laboratory
pp. 85-91

Standards (Abstract)

pp. 94-97

Update (Abstract)

pp. 98-99

Computer Society News (Abstract)

pp. 99-102

New Product Reviews (PDF)

pp. 103-106

New Products (PDF)

pp. 107-113

IC Announcements (PDF)

pp. 114

Conferences (Abstract)

pp. 118-119

Calendar (PDF)

pp. 119-120

Call for Papers (PDF)

pp. 121-122

Career Opportunities (Abstract)

pp. 122-123

Book Reviews (PDF)

pp. 124-126

New Literature (PDF)

pp. 127
95 ms
(Ver 3.1 (10032016))