模型检验原理(清华计算机图书译丛)

若图片与书名不一致，以书名和定价为准！

93.22 5.9折 158 全新

库存3件

河北保定

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

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

出版社清华大学出版社

ISBN9787302577355

出版时间2021-11

版次1

装帧平装

开本16开

纸张胶版纸

页数708页

字数99999千字

定价158元

货号8735246

上书时间2024-07-01

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

商品描述: 基本信息
书名:模型检验原理(清华计算机图书译丛)
定价：158元
作者:[德]克里斯特尔·拜耳（ChristelBaier）著
出版社：清华大学出版社
出版日期：2021-11-01
ISBN：9787302577355
字数：1050000
页码：708
版次：
装帧：平装
开本：16开
商品重量：
编辑推荐

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

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

— 没有更多了 —