REAL-TIME SYSTEMS

时间：2012-01-10 17:25:51

【文件属性】：

文件名称：REAL-TIME SYSTEMS

文件大小：5.37MB

文件格式：PDF

更新时间：2012-01-10 17:25:51

REAL-TIME SYSTEMS

Formal Specification and Automatic Verification

立即下载

网友评论

内容丰富，设计面较广，文本清晰，很不错的资源

相关文章

