Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil (ed.).

Other author Vytopil, J. (Jan), 1947-
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1991.
Descriptionix, 620 pages : illustrations ; 25 cm.
Subjects
Real-time data processing--Congresses.
Fault-tolerant computing--Congresses.

SeriesLecture notes in computer science ; 571
Lecture notes in computer science 571. ^A466336
Bibliography noteIncludes bibliographical references.
LCCN 91043620
ISBN3540550925 (Berlin : acid-free paper)
ISBN0387550925 (New York : acid-free paper)

Availability

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