Checking相关的资源 - 电子书下载/资源下载

当前位置: 首页 > 资源下载 > 搜索“Checking”结果

资源分类: Web开发; Java; .NET; 编程语言; 数据库; 软件工程; 图形动画; 系统管理; 网络通信安全; 计算机理论; 考试认证; 人文百科; 文档手册; 硬件技术; 办公软件

资源搜索

关键字

书名：Principles of Model Checking (PDF 英文版)
上传：鱼和流氓
时间：2009-01-26 19:41:14
描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...
书名：Principles of Model Checking (PDF 英文版)
上传：鱼和流氓
时间：2009-01-26 19:41:14
描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...
书名：Principles of Model Checking (PDF 英文版)
上传：鱼和流氓
时间：2009-01-26 19:41:14
描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...
书名：Principles of Model Checking (PDF 英文版)
上传：鱼和流氓
时间：2009-01-26 19:41:14
描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...