Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow, eds.
Publication Info Berlin : Springer, 1996.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.54 F7  8 WEEK LOAN  AVAILABLE

Descript 478p.
ISBN 3540616489
Click on the terms below to find similar items in the catalogue
Series Lecture notes in computer science ; 1135
Subject Real-time data processing.
Fault-tolerant computing.
Alt author Jonsson, Bengt, 1957-
Parrow, Joachim.
Descript 478p.
ISBN 3540616489
Series Lecture notes in computer science ; 1135
Subject Real-time data processing.
Fault-tolerant computing.
Alt author Jonsson, Bengt, 1957-
Parrow, Joachim.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.54 F7  8 WEEK LOAN  AVAILABLE

Subject Real-time data processing.
Fault-tolerant computing.
Descript 478p.
Alt author Jonsson, Bengt, 1957-
Parrow, Joachim.
ISBN 3540616489

Links and services for this item: