Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 / Mathai Joseph (ed.).

Author/creator FTRTFT 2000
Other author Joseph, M.
Format Book
Publication InfoBerlin ; New York : Springer, 2000.
Descriptionx, 303 pages ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 1926
Lecture notes in computer science 1926. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 00045001
ISBN3540410554 (softcover : alk. paper)

Availability

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