Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录

作者: Paul Pettersson
出版社: 第1版 (2006年1月1日)
出版年: 2006-1
页数: 303
定价: 542.40元
装帧: 平装
ISBN: 9783540309468
目前无人评价

在哪儿借这本书?

谁读这本书?

快乐的罗素
快乐的罗素
2008年5月29日 读过


> 1人读过

二手市场

订阅关于Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录的评论:
feed: rss 2.0