Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow, eds.

Other author Jonsson, Bengt, 1957-
Other author Parrow, Joachim, 1956-
Format Book
Publication InfoBerlin ; New York : Springer, ©1996.
Descriptionx, 478 pages : illustrations ; 24 cm.
Subjects
Real-time data processing--Congresses.
Fault-tolerant computing--Congresses.

SeriesLecture notes in computer science ; 1135
Lecture notes in computer science 1135. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 96035763
ISBN3540616489 (softcover : alk. paper)

Availability

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