Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001201595/catalog> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- catalog contributor b1679308.
- catalog created "1983.".
- catalog date "1983".
- catalog date "1983.".
- catalog dateCopyrighted "1983.".
- catalog description "Bibliography: leaves 145-148.".
- catalog description "Thesis (Ph. D.)--Harvard University, 1983.".
- catalog extent "148 leaves :".
- catalog issued "1983".
- catalog issued "1983.".
- catalog language "eng".
- catalog subject "Electronic data processing Distributed processing.".
- catalog title "Theoretical issues in the design and verification of distributed systems / by Aravinda Prasad Sistla.".
- catalog type "text".