/ PrincipleofModelChecking
PrincipleofModelChecking
PrincipleofModelChecking
这个版本我自己增加了了各个章节的书签，方便阅读的时候查找和对书有一个大概的了解 本软件ID:4173969
这个版本我自己增加了了各个章节的书签，方便阅读的时候查找和对书有一个大概的了解 本软件ID:4173969
文件下载
资源详情
pleofModelChecking-cite-
评论信息
-
-
-
c15071107551:很细致，学习模型检测形式化方法很有帮助2016-06-23 -
SomeOneKG:理论的东西，还是要好好学学！2013-09-22
-
veinstone:应该算ModelChecking的第二部经典书籍了，与上一部隔了8年多2013-09-14
-
a3729291988:书籍很好，就是内容有点多，仔细研究还是很好的，有很多详细的例子2012-11-26
其他资源
- 带高斯白噪声的Kalman滤波Matlab代码（带注释）
- 探究好的Scrum每一日立会
- 火影忍者-鸣人-FBX-3D模型-带动作
- 51单片机中文数据手册资料
- IBM个人通讯
- 基于模糊成分的氧化铝烧结法配料优化
- 模糊逻辑控制器
- 行人检测的matlab程序
- 麻将游戏源码
- 广义隐式预测控制MATLAB实现
- 为多层面用户而设计
- SIMATIC-NET-OPC-Server-通讯组态配置指点手册
- dark.m图像去雾算法matlab实现
- GPS数据分析工具——ublox
- 电子商务手机等数码产品php源码
- ATSHA204加密片源码SWI
- MATLAB车辆工程应用实战及源程序
- 解压密码share.weimo.info-英文原版-ProbabilityandStatisticsforEngineeringandtheSciences9thEdition
- 批量修改txt编码
- ofbizapi中文版
免责申明
【好快吧下载】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【好快吧下载】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明