只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
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
其他资源
通信工程师中级 综合能力pdf
虚拟空间矢量调制算法的MATLAB仿真
bouncycastle 源码
TA-Lib-0.4.19.tar.gz
设计模式可复用面向对象软件的基础 源码
海康平台Http接口帮助文档+示例
比较图片相似度技术
3Dmax作品 期末作品设计 包含所有步骤,适合直接提交
枚举排序的并行算法MPI程序实现
51单片机 DHT11温湿度检测 控制继电器开关(更新)
串口工具(虚拟串口+串口调试助手).zip
利用MFC绘制B样条曲线
AZ-204认证考试题库(最新).docx
3DImageTest.zip
OC Extension DelectedDicNull(判断字典中key是否有值).zip
swiftrpm包
Pro ASP.NET Core MVC 第6版 2016 pdf 0分
FM350-2高速计数器实例
微信刮刮卡(包括素材和程序)很好用
keras示例程序
计算机网路静态路由编程实验
最新最全2005-2014信息系统项目管理师历年真题(含上午题、案例分析、论文)试题和答案
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
android开发期末大作业.zip
离散时间信号处理第三版课后习题答案
云视通扫描工具.zip
python爬虫数据可视化分析大作业.zip
机械臂避障路径规划仿真 蚁群算法 三维路径规划
大学生网页设计大作业-5个网页设计制作作品自己任选
基于STM32的FFT频谱分析+波形识别
中国地面气候资料日值数据集(V3.0)2010-2019.rar
2019综合测评仿真.zip
DS证据理论的MATLAB案例程序源代码
中国地面气象站观测数据2000-2021
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
scratch版 我的世界.sb2
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
matpower5.0b1.zip
最新下载
华为K662d、K662p升级固件V500R021C00SPC161
CXSTM8_32k V3.4.3破解
Scratch 标准教案
PDMS toolkit 12.0
《物理学大题典》2电磁学与电动力学
Dlib FaceLandmark Detector 1.2.8 for Unity.zip
uniGUI_1.90.0.1534_All_Setup(Crack).exe
一种抗混叠滤波器的设计
现代数字信号处理(杨绿溪)课后习题答案
NTK Daemon 安装程序 Windows版本