只为小站
首页
域名查询
文件下载
网盘下载
NEW
登录
首页
开发技术
其它
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
其他资源
量产测试工具_DBG-02V3.4.151010(Beta).zip
A-WDF 解压WDF文件,压缩WAS文件
SQL SERVER数据库MDF文件页查看器
STM32F407实时采集信号并通过串口屏绘图显示
全国手机号码段归属地数据库(共360570条记录)
超小的winxp 仅75兆
19DX101-1 《建筑电气常用数据》
WordPress虚拟资源付费系统主题Ripro主题付费购买插件Riprodl
sql 表导出生成脚本.txt
SDK-6.0.22.1401.zip
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
狂神说全部笔记内容.zip
基于Matlab的PI/4 DQPSK的调制解调源代吗
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
Elsevier爱思唯尔的word模板.zip
Plex v7.12电视端app
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
MTALAB NSGA2算法
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
EBSD分析软件——Channel5下载安装教程
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
YOLOv5 人脸口罩图片数据集
RNN-LSTM卷积神经网络Matlab实现
中国地面气候资料日值数据集(V3.0)2014-2019.zip
基于STM32的FFT频谱分析+波形识别
现代操作系统原理与实现.pdf
最新下载
标准测试图像
NCB-PCI_Express_Base_6.0
mipi_C-PHY_specification_v2-1.pdf
VirtuoZo2014使用手册
flapping,UVLM,matlab code
东北大学_研究生_期末考试之分布式系统及应用
天融信安全隔离与信息交换系统-安装使用手册V3(Web界面).doc
SysemVue Examples (SystemVue 实例)
Spread for Windows Forms 5.0中文手册
MHDD4.6 最新破解版无任何功能限制