Reactive Systems - Modelling, Specification and Verification

【文件属性】：

文件名称：Reactive Systems - Modelling, Specification and Verification

文件大小：1.92MB

文件格式：PDF

更新时间：2012-05-11 21:55:02

Reactive,Systems,Reactive Systems,Reactive Systems - Modelling,

也不用多介绍了，知道这本书的同学，肯定是老师上课时候推荐的。看了一下CSDN里，目前为止，还没这本书，所以我把他放出来，方便大家。。