只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
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
其他资源
DevExpress VCL 20.2.2 for Delphi 10.4.rar
Qualcomm_USBAudio_v4.40.0_2018-01-29_setup.exe
黑苹果机械革命X3-S EFL
Update_DarkTheme.xml
Android Studio 4.1 最新稳定版
梯级水库群优化调度程序
图像修复Criminisi算法
Psapi.lib psapi.h VC6.0 文件
MC算法C++实现 源代码
数字图像处理及MATLAB实现.pdf
CGAL手册(计算机几何学).pdf
VHDL语言100例详解 程序代码
COM原理与应用
上海市2018年共享单车数据wgs84坐标系8月份到9月份共享单车数据-4.zip
知识图谱已成AI下一风口,但你知道它进展到哪了吗?
Altera_stratixVGX_5sgxea7kf40_fpga开发板资料Cadence硬件原理图+PCB+Verilog例程源码+文档资料.zip
用C#编写的个人理财管理系统
Protues纯硬件仿真16进制以内计数器
32位单片机C语言编程:基于PIC32(中文)
android MediaPlayer+SurfaceView实现播放
手机网页唤醒支付宝APP支付 php
机械振动基础教材(胡海岩)
Sim_EKB_Install_2018_10_30
iconv rar 源文件 库文件
c++ Builder 中如何调用VC编写的动态链接库
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
多目标优化算法(四)NSGA3的代码(MATLAB)
CNN卷积神经网络Matlab实现
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
BP_PID控制仿真.rar
麻雀搜索算法(SSA)优化bp网络
基于STM32的电子时钟设计
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
基于yolov4-keras的抽烟检测(源码+数据集)
simulink仿真实现光伏发电MPPT+能量管理
MAC OS.X.10.8.iso 镜像文件
狂神说全部笔记内容.zip
数字图像处理[冈萨雷斯]
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
最新下载
MITgcmTools.jl:与MITgcm交互的工具(设置,运行,输出,绘图等)-源码
Coefficients of Polynomial Chaos Expansion (PCE):这个简单的 Matlab 代码计算对数正态分布不确定参数 X 的 PCE 系数,最高可达 N 阶。-matlab开发
DicomObjects用户手册-中文版
protobuf 使用简单示例
LOL模型转换工具
电子噪声与低噪声设计
复盛压缩机选型软件.rar )
SKNTOOBJ实用工具
微信v6.2.0.19 iOS6最后的版本
clipbrd.exe