Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm, Ernst-Rüdiger Olderog (eds.).

Author/creator FTRTFT 2002
Other author Damm, Werner.
Other author Olderog, E.-R.
Format Book
Publication InfoBerlin ; New York : Springer, ©2002.
Descriptionx, 453 pages : illustrations ; 24 cm
Subjects
Real-time data processing--Congresses.
Fault-tolerant computing--Congresses.

Bibliography noteIncludes bibliographical references and index.
LCCN 2002030394
ISBN3540441654 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.54 .F75 2002 ✔ Available Place Hold