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 Info | Berlin ; New York : Springer, 2000. |
| Description | x, 303 pages ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1926 Lecture notes in computer science 1926. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 00045001 |
| ISBN | 3540410554 (softcover : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.54 .F75 2000 | ✔ Available | Place Hold |