模型检验原理

本店图书都是正版图书可开电子发票需要发票的联系客服！

119.17 7.5折 158 全新

库存3件

四川成都

认证卖家担保交易快速发货售后保障

作者（德）克里斯特尔·拜耳（Christel Baier）

出版社清华大学出版社

ISBN9787302577355

出版时间2021-11

装帧平装

开本16开

定价158元

货号29344673

上书时间2025-01-10

已实名已认证进店收藏店铺

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

作者简介
赵光峰，男，1964年生，教授，博士，曾留学英国一年，主要研究方向为拓扑学、图论、系统可信性自动验证，发表学术论文30余篇，主编《Visual Basic 程序设计教程》（高等教育出版社）等教材5部。

目录

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

主编推荐
"1．内容全面，条理系统。
2．实例丰富，便于理解。
3．理论充实，实践性强
4．文献翔实，脉络清晰。
5．习题充足，利于掌握。
6．附录凝练，入门快速。"

— 没有更多了 —