Matches in Library of Congress for { <http://lccn.loc.gov/82000856> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 82000856 contributor B4165908.
- 82000856 created "1982.".
- 82000856 date "1982".
- 82000856 date "1982.".
- 82000856 dateCopyrighted "1982.".
- 82000856 description "Bibliography: p. [203]-208.".
- 82000856 extent "viii, 208 p. :".
- 82000856 identifier "0387112057 (pbk.)".
- 82000856 isPartOf "Lecture notes in computer science ; 129".
- 82000856 issued "1982".
- 82000856 issued "1982.".
- 82000856 language "eng".
- 82000856 publisher "Berlin ; New York : Springer-Verlag,".
- 82000856 subject "001.64/2 19".
- 82000856 subject "Computer programs Verification.".
- 82000856 subject "Parallel processing (Electronic computers)".
- 82000856 subject "QA76.6 .H295 1982".
- 82000856 title "Verifying concurrent processes using temporal logic / Brent T. Hailpern.".
- 82000856 type "text".