Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007009714/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog alternative "Proving assertions about programs.".
- catalog contributor b9719889.
- catalog contributor b9719890.
- catalog contributor b9719891.
- catalog contributor b9719892.
- catalog contributor b9719893.
- catalog created "1972]".
- catalog date "1972".
- catalog date "1972]".
- catalog dateCopyrighted "1972]".
- catalog description "Includes bibliographical references.".
- catalog extent "iv, 211 p.".
- catalog isPartOf "Association for Computing Machinery. SIGACT news ; no.14, Jan. 1972.".
- catalog isPartOf "Association for Computing Machinery. SIGPLAN notices ; v.7, no.1, Jan. 1972.".
- catalog isPartOf "SIGPLAN notices, v.7, no.1, Jan. 1972; SIGACT news, no.14, Jan. 1972".
- catalog issued "1972".
- catalog issued "1972]".
- catalog language "eng".
- catalog publisher "[New York, Association for Computing Machinery,".
- catalog subject "Computer programming Congresses.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog title "Proceedings.".
- catalog title "Proving assertions about programs.".
- catalog type "text".