《模型检验原理》9787302577355.pdf-(英)克里斯特拉・拜耳 (Christel Baier)，(-清华大学出版社-电子书下载-简阅读书网

求书留言 | 网站地图 | 手机版

热门搜索：计算机网络红墙图志离散数学工程伦理数据结构高等数学刑法学汽车设计

当前位置：首页 > 艺术设计 - 模型检验原理 pdf电子版图书

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 模型检验原理; 作者：(英)克里斯特拉・拜耳 (Christel Baier)，(; 出版社：清华大学出版社; ISBN：9787302577355; 出版年：2021/11/1

模型检验原理简介

本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。

模型检验原理电子版图书下载地址：

模型检验原理pdf电子书下载地址

本书有电子版，如无法下载，请加我们Q群:473290040 联系索取。

围观：下载的电子书缺章、不完整怎么办？

干货：电子书资源是在哪下载的？

温馨提示：

关于我们 - 网站帮助 - 版权声明 - 友情连接 - 网站地图

本站所收录作品、社区话题、书库评论及本站所做之广告均属其个人行为，与本站立场无关
本站所有的作品，图书，资料均为网友更新，如果侵犯了您的权利，请与本站联系，本站将立刻删除(E-MAIL：847151540@qq.com)
Copyright © 2005-2016 www.newbook8.com All Rights Reserved.备案号