模型检验原理
正版保障 假一赔十 可开发票
￥ 130.93 8.3折 ￥ 158 全新
库存3件
广东广州
认证卖家担保交易快速发货售后保障
作者（德）克里斯特尔·拜耳（Christel Baier）
出版社清华大学出版社
ISBN9787302577355
出版时间2021-11
装帧平装
开本16开
定价158元
货号29344673
上书时间2024-10-26
商品详情
- 品相描述：全新
- 商品描述
-
导语摘要
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。
作者简介
赵光峰，男，1964年生，教授，博士，曾留学英国一年，主要研究方向为拓扑学、图论、系统可信性自动验证，发表学术论文30余篇，主编《Visual Basic 程序设计教程》（高等教育出版社）等教材5部。
目录
内容摘要
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。
主编推荐
"1．内容全面，条理系统。
2．实例丰富，便于理解。
3．理论充实，实践性强
4．文献翔实，脉络清晰。
5．习题充足，利于掌握。
6．附录凝练，入门快速。"
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价