官网首页 | 您好,欢迎光临电子工业出版社有限公司!
退出登录 我的电子社
请登录 免费注册
热搜: 计算机计算工业
您的购物车中还没有商品,赶紧去够选吧!
{{sdata.name}}
{{tdata.name}}
著 者:(美)Edmund M. Clarke, Jr.(埃德蒙 ? M. 克拉克) 等
作 译 者:吴尽昭 等
出版时间:2018-11 千 字 数:346 版 次:01-01 页 数:240
开 本:16开 装 帧: I S B N :9787121352744
换 版:
纸质书定价:¥69.0
库存:有
共有图书评论0条 【查看评论摘要】
看了又看
{{data.bookName}}
¥{{data.price}}
内容简介
目 录
前 言
上架建议
作者简介
获奖信息
编辑推荐
配套资源
音视频专区
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证,同时介绍NuSMV和UPPAAL两个流行的模型检测器。
对不起,暂无音视频资源!
暂无评论
您还没有登录,请登录后再评论。
关注我们 书目下载 微信矩阵