Matches in Library of Congress for { <http://lccn.loc.gov/82013378%2F%2Fr862> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 82013378%2F%2Fr862 contributor B4181691.
- 82013378%2F%2Fr862 created "c1983.".
- 82013378%2F%2Fr862 date "1983".
- 82013378%2F%2Fr862 date "c1983.".
- 82013378%2F%2Fr862 dateCopyrighted "c1983.".
- 82013378%2F%2Fr862 description "Bibliography: p. [157]-158.".
- 82013378%2F%2Fr862 extent "viii, 161 p. ;".
- 82013378%2F%2Fr862 identifier "0835713652".
- 82013378%2F%2Fr862 isPartOf "Computer Science. Systems programming ; no. 16".
- 82013378%2F%2Fr862 issued "1983".
- 82013378%2F%2Fr862 issued "c1983.".
- 82013378%2F%2Fr862 language "eng".
- 82013378%2F%2Fr862 publisher "Ann Arbor, Mich. : UMI Research Press,".
- 82013378%2F%2Fr862 subject "001.64/2 19".
- 82013378%2F%2Fr862 subject "Computer programs Verification.".
- 82013378%2F%2Fr862 subject "Operating systems (Computers)".
- 82013378%2F%2Fr862 subject "QA76.6 .K348 1983".
- 82013378%2F%2Fr862 title "Proving operating systems correct / by Richard Alan Karp.".
- 82013378%2F%2Fr862 type "text".