Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001143581/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b1329130.
- catalog contributor b1329131.
- catalog contributor b1329132.
- catalog created "c1980.".
- catalog date "1980".
- catalog date "c1980.".
- catalog dateCopyrighted "c1980.".
- catalog description "Bibliography: p. 466-490.".
- catalog extent "xvi, 505 p. ;".
- catalog hasFormat "Mathematical theory of program correctness.".
- catalog identifier "0135621321 :".
- catalog isFormatOf "Mathematical theory of program correctness.".
- catalog isPartOf "Prentice-Hall international series in computer science".
- catalog issued "1980".
- catalog issued "c1980.".
- catalog language "eng".
- catalog publisher "Englewood Cliffs, N.J. : Prentice-Hall International,".
- catalog relation "Mathematical theory of program correctness.".
- catalog subject "Computer programs Correctness.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA76.6 .B335".
- catalog title "Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.".
- catalog type "text".