实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems
Damm, W.; Olderog, E. R.; Damm, Werner
湖南文艺出版社
出版时间：2002-12
出版社：湖南文艺出版社
作者：Damm, W.; Olderog, E. R.; Damm, Werner
页数：452
图书封面
下载链接
实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systemsPDF格式下载