Matches in Library of Congress for { <http://lccn.loc.gov/92041122> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92041122 contributor B6659090.
- 92041122 created "c1992.".
- 92041122 date "1992".
- 92041122 date "c1992.".
- 92041122 dateCopyrighted "c1992.".
- 92041122 description "Includes bibliographical references (p. [151]-161) and index.".
- 92041122 extent "viii, 164 p. :".
- 92041122 identifier "0387562834 (Berlin : acid-free paper)".
- 92041122 identifier "0387562834 (New York : acid-free paper)".
- 92041122 isPartOf "Lecture notes in computer science ; 651".
- 92041122 issued "1992".
- 92041122 issued "c1992.".
- 92041122 language "eng".
- 92041122 publisher "Berlin ; New York : Springer-Verlag,".
- 92041122 subject "004.6/01/5113 20".
- 92041122 subject "Data transmission systems.".
- 92041122 subject "Logic, Symbolic and mathematical.".
- 92041122 subject "TK5105 .K69 1992".
- 92041122 title "Specifying message passing and time-critical systems with temporal logic / Ron Koymans.".
- 92041122 type "text".