模型检验原理克里斯特尔·拜耳著

基本信息

书名:模型检验原理

定价：158.00元

作者:[德]克里斯特尔·拜耳（ChristelBaier） 著

出版社：清华大学出版社

出版日期：2021-11-01

ISBN：9787302577355

字数：1050000

页码：708

版次：

装帧：平装

开本：16开

商品重量：

内容提要

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

作者介绍

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