ロード中...

Formal techniques in real-time and fault tolerant systems /

書誌詳細
第一著者: Joseph, Mathai
フォーマット: Printed Book
言語:English
出版事項: New York : Springer , 2000.
主題: