Matches in Library of Congress for { <http://lccn.loc.gov/89000102> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 89000102 contributor B5839537.
- 89000102 created "c1990.".
- 89000102 date "1990".
- 89000102 date "c1990.".
- 89000102 dateCopyrighted "c1990.".
- 89000102 description "Includes bibliographical references.".
- 89000102 extent "xiv, 242 p. :".
- 89000102 identifier "0201172372".
- 89000102 isPartOf "The UT year of programming series".
- 89000102 issued "1990".
- 89000102 issued "c1990.".
- 89000102 language "eng".
- 89000102 publisher "Reading, Mass. : Addison-Wesley,".
- 89000102 subject "005.1 19".
- 89000102 subject "Computer programming Congresses.".
- 89000102 subject "QA76.6 .F657 1990".
- 89000102 title "Formal development of programs and proofs / edited by Edsger W. Dijkstra.".
- 89000102 type "text".