只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
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
其他资源
Linux设备驱动程序(中文版第三版).pdf
十折交叉验证SVM分类器Matlab代码
prony算法的matlab程序实现
360zip_setup_1.0.0.1041.exe
魔力宝贝 怀旧外挂delphi 源码
西安交通大学复变函数课件
java 坦克大战 ppt 和 源码
chrome office插件
vb6反编译精灵(专门用于反编译vb6的工具)
时序设计与约束资料
Spacecraft Control Toolbox.zip
2021最新去水印源码纯净版1.2.zip
SPFD5408A AUO 2.4 inch Application Note_20070803.pdf
libyuv.zip
ASP.NET Core微服务(一)——【完整API搭建及访问过程】——sql脚本
win10可用的超级终端
语音信号的采集与处理课程设计
vC++编程实例精选100
Altera 乘法器 IP核 Modelsim仿真
超级详细通俗易懂-北京动力节点SSH框架讲义(完整版)
ndpi 最新版
Android 获取手机所有已安装的应用,并可以打开它
MATLAB二元函数绘图实例
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Android小项目——新闻APP(源码)
2019年秋招—华为硬件工程师笔试题目.pdf
Monet智能交通场景应用
基于蒙特卡洛生成电动汽车充电负荷曲线程序
DS证据理论的MATLAB案例程序源代码
SSM外文文献和翻译(毕设论文精品).doc
中国地面气象站观测数据2000-2021
DBSCAN算法Matlab实现
Steam离线安装版
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
2010年-2020中国地面气候资料数据集(V3.0)
基于MQ2烟雾传感器的STM32F103程序
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
python实现的学生信息管理系统—GUI界面版
最新下载
FolderFix系统补丁-win7
Teigha3.03_9.rar
Chromatix7.7.3.01.00.Windows-x64.exe
chromatix.win.7.3_installer_70300.210-11-19_03_41_10.rar
xilinx-2011.09-50-arm-xilinx-linux-gnueabi.bin.7z
peid.0.95中文版下载
Aspose.Pdf 17.7最新破解版,绝对可用
emgucv自行训练HOG
LordPE修复版 兼容win10
Bioinformatics Algorithms