Formal techniques in real-time and fault-tolerant systems

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Boston Kluwer Academic Publishers c1993.
Konular:	Fault-tolerant computing. Real-time data processing.