model checking

时间:2014-01-02 13:47:59
【文件属性】:

文件名称:model checking

文件大小:10.92MB

文件格式:PDF

更新时间:2014-01-02 13:47:59

模型检测经典书籍

模型检测经典教材,介绍了模型检测各方面技术 pdf格式


网友评论

  • 翻拍的版本,非常烂。根本就看不清,而且还是双开页的。无语。