只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
Model Checking 模型检查 Edmund M. Clarke 经典书籍
Model Checking 模型检查 Edmund M. Clarke 经典书籍
上传者:
qigan30125
|
上传时间: 2019-12-21 20:29:16
|
文件大小: 2.97MB
|
文件类型: pdf
Model
Checking
模型检查
Clarke_E.M.,_Grumberg_O.,_Peled_D.A._Model_checking_(2000)(en)(314s).文件较小,非常清晰
文件下载
立即下载
评论信息
efvgy :
资源好,找蛮久了
2015-11-18
tcswfs :
这本书是模型检测的经典书籍,很好。
2015-04-09
TinySunny :
扫描版,不是很清晰,但是已经很好了。非常感谢!
2015-04-06
sunlee0729 :
很好的一本书
2014-10-31
rpgyang :
经典书,就是字有点小,一页上有两页字,费眼睛,不过谢谢分享!
2014-02-27
其他资源
论文解读《Histograms of Oriented Gradients for Human Detection》.pdf
中科院李保滨老师课程相关用书和答案
用MATLAB绘制史密斯圆图
深入理解分布式事务,高并发下分布式事务的解决方案
第九届飞思卡尔智能车竞赛电磁组程序
2020-05-28_ECE-R151_EN.pdf
基于MFC的登陆界面
微机原理课程设计家用电风扇程序
c++车牌识别
DevExpress 10.2.4汉化包!
matlab实现手动抠图 m文件
ERWin入门教程
TCP/IP Essentials, TCP/IP 基础教程
XC2000系列单片机用户手册中文版
aurix内存问题检测和修复
顾问计划项目:该类项目是学术顾问的门户。 功能包括注册和登录,上传学生数据以及安排咨询会议-源码
EnounceMySpeed_v505_445
echars地图三级下钻+散点信息
Apk反编译工具合集-安卓反编译
心形花样LED流水灯(带程序)
MFC Tab控件添加图片及选定后标签变色.rar
java SSI框架 简单的登录注册和增删改查
C#设计的FTP客户端和服务器端
农行web端网银支付java接口文件及demo
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
空间谱估计理论与算法------程序.rar
大学生网页设计大作业-5个网页设计制作作品自己任选
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
中国地面气象站观测数据2000-2021
西门子逻辑控制设计开发_3部10层
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
python爬虫数据可视化分析大作业.zip
SSM外文文献和翻译(毕设论文精品).doc
现代操作系统原理与实现.pdf
鲸鱼优化算法 WOA matlab源代码(详细注释)
基于matlab的车牌识别系统设计
麻雀搜索算法(SSA)优化bp网络
IBM CPLEX 12.10 学术版 mac操作系统安装包
房价预测的BP神经网络实现_python代码
最新下载
按键控制8×8LED点阵屏显示图形
epass2001 开发包
microsoft jsharp runtime 2.0
ESC\POS打印图片.docx
Rainmeter 中文文档 第四版
通信算法及其实现.zip
Linux下使用的串口调试工具
AMEsim中文教程
ROBOPro 4.2.3汉化包
android模拟照相机