| Type |  Book |
| ชื่อเรื่อง | Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 / Mathai Joseph (ed.) |
| ผู้แต่ง | FTRTFT 2000 (2000 : Pune, India) |
| ISBN | 3540410554 |
| พิมพลักษณ์ | Berlin : Springer Verlag, 2000 |
| รูปเล่ม | x, 303 p. : ill. ; 24 cm |
| หัวเรื่อง | Fault-tolerant computing --Congresses [] |
| | Real-time data processing --Congresses [] |