Matches in Library of Congress for { <http://lccn.loc.gov/94033384> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 94033384 contributor B7196729.
- 94033384 contributor B7196730.
- 94033384 created "c1994.".
- 94033384 date "1994".
- 94033384 date "c1994.".
- 94033384 dateCopyrighted "c1994.".
- 94033384 description "Includes bibliographical references.".
- 94033384 extent "xiv, 787 p. :".
- 94033384 identifier "0387584684 (acid-free paper)".
- 94033384 isPartOf "Lecture notes in computer science ; 863".
- 94033384 issued "1994".
- 94033384 issued "c1994.".
- 94033384 language "eng".
- 94033384 publisher "Berlin ; New York : Springer-Verlag,".
- 94033384 subject "004/.33 20".
- 94033384 subject "Fault-tolerant computing Congresses.".
- 94033384 subject "QA76.54 .F66 1994".
- 94033384 subject "Real-time data processing Congresses.".
- 94033384 title "Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.".
- 94033384 type "text".