模型检验原理

作者： （德）克里斯特尔·拜耳（Christel Baier） 赵光峰 、

ISBN号： 9787302577355

出版日期： 2021-11-01

定价： ￥158

资源下载
咨询QQ：2301891038（仅限教师）
内容简介

本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。

更多图书信息
  • 策划编辑：龙启铭
  • 出版日期：2021-11-01
  • 作者：（德）克里斯特尔·拜耳（Christel Baier）著 赵光峰 等译
  • 书号：9787302577355
  • 印刷日期：2021-11-15

作者信息

（德）克里斯特尔·拜耳（Christel Baier） 赵光峰 、

同系列图书 更多>

  • 算法设计（第3版）

    （美）斯蒂文·斯金纳（Steven S. Skiena） 著 谢勰，王辉，刘小佳，任方 译

    ￥128.00

  • 密码学与网络安全（第4版）

    （印）阿图尔·卡哈特（Atul Kahate）著 葛秀慧 金名 译

    ￥79.00

  • 分布式数据库系统原理（第4版）

    （德）塔姆尔·厄兹叙（M. Tamer ?zsu），帕特里克·瓦尔杜里兹（Patrick Valduriez） 著 范举 等译

    ￥99.00

  • 数字图像的计算几何、拓扑和物理及其应用

    （加）詹姆斯·彼得斯（James F. Peters）、章毓晋

    ￥89.00

  • 计算机网络（第6版）

    （美）安德鲁·S.特南鲍姆（Andrew S. Tanenbaum），（美）尼克·费姆斯特尔（Nick Feamster），（美）戴维·韦瑟罗尔（David Wetherall） 著 潘爱民 译

    ￥138.00

  • 彩色计算机视觉：基础与应用

    （荷）西奥·盖维尔斯（Theo Gevers）, （荷）阿尔然·吉森尼（Arjan Gijsenij）, （荷）约斯特·范德·魏约尔（Joost van de Weijer）, （荷）简-马克·戈伊斯布罗克（Jan-Mark Geusebroek） 著 章毓晋 译

    ￥69.00

  • 计算机科学基础

    [美]蒂莫西· J. 奥利里(Timothy J. O'Leary)、[美]琳达· I.奥利里(Linda I. O’Leary)、[美]丹尼尔· A.奥利里(Daniel A. O’Leary) 著 任向民、张艳威 、郑舒心、姜德迅、杨玲、李欣、刘磊、张锡琨 译

    ￥59.80

  • 网络技术基础及应用

    （德）克里斯托弗·迈内尔（Christoph Meinel）,哈拉尔德·萨克（Harald Sack）著 季松 程峰 等译

    ￥148.00

  • 精通C++

    (美) 托尼·加迪斯 (Tony Gaddis) , (美) 朱迪·沃尔特斯 (Judy Walters) , (美) 戈德弗雷·穆甘达 (Godfrey Muganda) , 著

    ￥198.00