首页
论坛
质谱
色谱
光谱
行业
标准
VIP
商城
更多
免费注册|登录
QQ登录
一起下吧»论坛 › 软件视频资料专区 › 电脑软件资料 › 模型检测
123456下一页
返回列表 发新帖

模型检测

[复制链接]
楼主
噎住   发表于 2021-10-20 22:48:34 |栏目：书籍推荐 |
进入图片模式
  • 书籍名称 ：模型检测
  • 编著人员 ： Edmund M
  • 出版单位 ： 隐藏内容
  • 出版时间 ： 2018
  • 涉及领域： 电气机械建筑书籍
  • 推荐等级： ★★★
模型检测
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
模型检测- 一起下吧

游客，本帖隐藏的内容需要积分高于 15 才可浏览，您当前积分为 0
模型检测

说明：本站所有资源仅供学习与参考，请勿用于商业用途，否则产生的一切后果将由您自己承担！如有侵犯您的版权，请及时联系我们，我们将尽快处理。

0收藏

58回复

8085浏览

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

【用户必看手册】教你怎么免费赚℃值

回复 只看该作者 使用道具 举报

漠北的狼

等待验证会员
沙发
漠北的狼   发表于 2021-10-21 09:53:09 |栏目：书籍推荐
這麼好的帖子都沒有人頂！d=====(￣▽￣*)b，我來多頂頂樓主

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

【用户手册】教你怎么获得一起下吧的“铜板”
支持 反对

回复 只看该作者 使用道具 举报

wwxx

氦级
板凳
wwxx   发表于 2021-10-21 20:37:28 |栏目：书籍推荐
珍惜生命，果断回帖；酌一杯清茶，品一起下吧资源

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

赞助VIP，全站资源任你下载！→【立即赞助】
支持 反对

回复 只看该作者 使用道具 举报

冰珂冰

氦级
地板
冰珂冰   发表于 2021-10-22 07:10:40 |栏目：书籍推荐
确实是难得好帖啊，讓我涕流滿面，頂頂一起下吧先

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

支持 反对

回复 只看该作者 使用道具 举报

PzqaCw

等待验证会员
5#
PzqaCw   发表于 2021-10-22 14:16:56 |栏目：书籍推荐
珍惜生命，果断回帖；酌一杯清茶，品一起下吧资源

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

【用户必看手册】教你怎么免费赚℃值
支持 反对

回复 只看该作者 使用道具 举报

amie_lg

氦级
6#
amie_lg   发表于 2021-10-22 18:56:23 |栏目：书籍推荐
确实是难得好帖啊，讓我涕流滿面，頂頂一起下吧先

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

【用户手册】教你怎么获得一起下吧的“铜板”
支持 反对

回复 只看该作者 使用道具 举报

EauSauvage

等待验证会员
7#
EauSauvage   发表于 2021-10-23 08:13:57 |栏目：书籍推荐
珍惜生命，果断回帖；酌一杯清茶，品一起下吧资源

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

赞助VIP，全站资源任你下载！→【立即赞助】
支持 反对

回复 只看该作者 使用道具 举报

逸君

等待验证会员
8#
逸君   发表于 2021-10-23 20:19:18 |栏目：书籍推荐
珍惜生命，果断回帖；酌一杯清茶，品一起下吧资源

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

支持 反对

回复 只看该作者 使用道具 举报

静下心来做事

等待验证会员
9#
静下心来做事   发表于 2021-10-24 02:07:07 |栏目：书籍推荐
這麼好的帖子都沒有人頂！d=====(￣▽￣*)b，我來多頂頂樓主

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

【用户必看手册】教你怎么免费赚℃值
支持 反对

回复 只看该作者 使用道具 举报

DNA

等待验证会员
10#
DNA   发表于 2021-10-24 13:01:58 |栏目：书籍推荐
额，為神馬現在才發現一起下吧的資源啊~@_@

发帖前要善用【论坛搜索】功能，以免资源重复发布；

如果吧里没有您要寻找的资源，请在【求资源】版面发帖求助，得到应助请及时结帖；

如何回报帮助你的吧友，一个好办法就是给对方【顶帖】，顶帖不加分不扣分，但可以让对方的帖子靠前让更多的人看到！

支持 反对

回复 只看该作者 使用道具 举报

下一页 »
123456下一页
返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

作者相关信息

极品资源推荐

热门资源推荐

精品资源推荐

最新资源推荐

高分悬赏

热门Tag标签

Waters ACQUITY UPLC 操作员指南 UPLC说明书 Agilent 1100 MSD 日常维护 故障诊断 Thermo 4-TSQ Quantum 液质联用 使用手册 蔬菜 水果 BEH色谱柱 液质谱联 饮用水 五氯苯酚 环境污染 食品添加剂 三聚氰胺 高效液相 四极杆 飞行时间串联质谱 全氟辛烷磺酸 全氟辛酸 高效液相色谱
关于我们
帮助文档
我们的服务
一起下吧微信公众号/百家号
© 2016-2020 一起下吧 All Rights Reserved. By Yqdaw |网站地图|

GMT+8, 2024-11-23 08:34 , Processed in 2.242027 second(s), 84 queries .

声明：本站所有资源除标明原创外，均来自网络转载，版权归原作者所有，如果有侵犯到您的权益，请联系本站删除，谢谢合作！

快速回复 返回顶部 返回列表