Matches in Library of Congress for { <http://lccn.loc.gov/85009945> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 85009945 contributor B4875893.
- 85009945 created "c1985.".
- 85009945 date "1985".
- 85009945 date "c1985.".
- 85009945 dateCopyrighted "c1985.".
- 85009945 description "Includes bibliographies.".
- 85009945 extent "vi, 114 p. ;".
- 85009945 identifier "0387152393 (U.S. : pbk.)".
- 85009945 isPartOf "Lecture notes in computer science ; 191".
- 85009945 issued "1985".
- 85009945 issued "c1985.".
- 85009945 language "eng".
- 85009945 publisher "Berlin ; New York : Springer-Verlag,".
- 85009945 subject "001.64 19".
- 85009945 subject "Parallel processing (Electronic computers)".
- 85009945 subject "Parallel programs (Computer programs) Verification.".
- 85009945 subject "QA76.5 .B29627 1985".
- 85009945 title "A survey of verification techniques for parallel programs / Howard Barringer.".
- 85009945 type "text".