Matches in Library of Congress for { <http://lccn.loc.gov/79050560> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 79050560 contributor B3520725.
- 79050560 created "1980.".
- 79050560 date "1980".
- 79050560 date "1980.".
- 79050560 dateCopyrighted "1980.".
- 79050560 description "Bibliography: p. 196-198.".
- 79050560 extent "v, 2, 198 p. ;".
- 79050560 identifier "0824044134 :".
- 79050560 isPartOf "Outstanding dissertations in the computer sciences".
- 79050560 issued "1980".
- 79050560 issued "1980.".
- 79050560 language "eng".
- 79050560 publisher "New York : Garland Pub.,".
- 79050560 subject "001.6/42".
- 79050560 subject "Parallel processing (Electronic computers)".
- 79050560 subject "Parallel programs (Computer programs) Verification.".
- 79050560 subject "QA76.6 .O93 1980".
- 79050560 title "Axiomatic proof techniques for parallel programs / Susan Speer Owicki.".
- 79050560 type "text".