文件名称:Principles of Model Checking
文件大小:1.6MB
文件格式:PDF
更新时间:2016-02-17 15:22:38
MC ,Principles
该书详细地介绍了ModelChecking的基本原理,适合于初学者
文件名称:Principles of Model Checking
文件大小:1.6MB
文件格式:PDF
更新时间:2016-02-17 15:22:38
MC ,Principles
该书详细地介绍了ModelChecking的基本原理,适合于初学者