عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1135
QA
76
.
L28
Vol
.
1135
کتابخانه
محل استقرار
Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
4th: 1996: Uppsala, Sweden
Berlin
Springer-Verlag
c1996
x, ]488[ p.: ill., tables
Lecture notes in computer science; 5311
Includes bibliographies
ISBN 3540616489
Bengt Jonsson, Joachim Parrow )eds.(
1
Congresses ، Real-time data processing
Congresses ، Fault-tolerant computing
QA
76
.
L28
Vol
.
1135
CA
004/
.
33
AU
AU Jonsson, Bengt, 1957-
AU Parrow, Joachim, 1956-
TI
SE
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
