Real-time systems specification, verification, and analysis

書目詳細資料
其他作者: Joseph, Mathai
格式: 圖書
出版: London Prentice Hall 1996.
叢編:Prentice Hall International series in computer science
主題: