只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
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
其他资源
v4l2中文手册(规范)全五章(包含驱动编写)pdf
兄弟S700.docx
SAR图像变化检测代码,基于差异图和比值图融合的.zip
照片墙墙~各种效果
基于matlab的自蛇模型代码
Linux下串口数据发送程序
订单号生成工具类
abaqusFortran子程序
基于java的通讯录项目
C语言编写的简单U盘病毒
计算机网络课件(最完整版)-谢希仁.rar
C#3层架构+Winform操作XML文件(增删改查)
完整的用友u8二次开发培训课件
纯DOS启动光盘镜像ISO文件
ListView中Spinner的使用
图书管理系统(陈表达原创-通用1).xlsm
基于C语言的录音播放程序--源代码
数电第二版杨颂华教学指导书
运动会计分系统(c++,包括课程设计文档)
Lua Programming Gems
MATLAB稀疏表示算法
C#网络爬虫
三个PE解析器代码学习
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
故障诊断数据集及实现代码
2019综合测评仿真.zip
校园网规划与设计(报告和pkt文件)
python大作业--爬虫(完美应付大作业).zip
拾荒者.exe同时ID扫描器IP扫描器
python实现的学生信息管理系统—GUI界面版
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
scratch版 我的世界.sb2
基于OpenCV的车牌号码识别的Python代码(可直接运行)
基于STM32的FFT频谱分析+波形识别
JPEG的Matlab实现
空间谱估计理论与算法------程序.rar
DBSCAN算法Matlab实现
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
最新下载
半导体自动化入门学习资料.rar
labview中文短信报警
信息通信建设工程451定额PDF扫描件(三月份第二次印刷版本)(已勘误).pdf
《地理建模方法》_徐建华
DS3617xs 6.2 Jun's Mod V1.03b
上海街道数据.rar
开关变换器建模、控制及其控制器的数字实现_清晰版
iCopy解码软件
VisualDSP 5.0安装包附破解文件.rar
贝尔 E-140W-P G/EPON 光猫联通固件