Real-time systems specification, verification, and analysis

书目详细资料
其他作者: Joseph, Mathai
格式: 图书
出版: London Prentice Hall 1996.
丛编:Prentice Hall International series in computer science
主题: