只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
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开发
硬件开发
其它
热门下载
极域电子教室管理系统软件V2.0 2022稳定版 支持Win11
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
基于蒙特卡洛生成电动汽车充电负荷曲线程序
现代操作系统原理与实现.pdf
东南大学英语技术写作慕课所有答案
基于matlab扩频通信系统仿真(整套代码)
基于MQ2烟雾传感器的STM32F103程序
简易示波器-精英板.zip
韦来生《数理统计》课后习题与答案
CNN卷积神经网络Matlab实现
quartus II13.0器件库.zip
Android小项目——新闻APP(源码)
2019和2021年华为单板通用硬件笔试题及答案
中小型企业网络建设.pkt
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
最新下载
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