Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录
Paul Pettersson
第1版 (2006年1月1日)
出版时间:2006-1
出版社:第1版 (2006年1月1日)
作者:Paul Pettersson
页数:303
图书封面
下载链接
Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录PDF格式下载