Research Catalog

Proceedings.

Title: Proceedings.
Author: ACM Conference on Proving Assertions about Programs (1972 : New Mexico State University)
Publication: [New York, Association for Computing Machinery, 1972]

Items in the Library & Off-site

Filter by

3 Items

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	copy A	Text	Request in advance	QA77.A1 A2 1972 copy A	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	copy B	Text	Request in advance	QA77.A1 A2 1972 copy B	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	copy C	Text	Request in advance	QA77.A1 A2 1972 copy C	Off-site

Holdings

Details

Additional Authors

Description

iv, 211 p. diagrs.

Series Statement

Association for Computing Machinery. SIGACT news ; no.14, Jan. 1972.
Association for Computing Machinery. SIGPLAN notices ; v.7, no.1, Jan. 1972.
SIGPLAN notices, v.7, no.1, Jan. 1972; SIGACT news, no.14, Jan. 1972

Alternative Title

Proving assertions about programs.

Subject

Note

A joint publication of SIGPLAN and SIGACT.
Includes On a laboratory for the study of automating programming, by T.E. Cheatham, Jr. and Ben Wegbreit.

Bibliography (note)

Includes bibliographical references.

Processing Action (note)

committed to retain

Owning Institutions

Harvard Library