![《模型检验原理克里斯特尔·拜耳著大》[71M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/46b4fd1ffc6b37b5.jpg "模型检验原理克里斯特尔·拜耳著大")
模型检验原理克里斯特尔·拜耳著大 pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供模型检验原理克里斯特尔·拜耳著大电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
| 图书基本信息 | |
| 图书名称 | 模型检验原理（清华计算机图书译丛） |
| 作者 | [德]克里斯特尔·拜耳（ChristelBaier） 著 |
| 定价 | 158元 |
| 出版社 | 清华大学出版社 |
| ISBN | 9787302577355 |
| 出版日期 | 2021-11-01 |
| 字数 | 1050000 |
| 页码 | 708 |
| 版次 | |
| 装帧 | 平装 |
| 开本 | 16开 |
| 商品重量 | |
| 内容提要 | |
| 本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。 |
| 作者介绍 | |
| 赵光峰，男，1964年生，教授，博士，曾留学英国一年，主要研究方向为拓扑学、图论、系统可信性自动验证，发表学术论文30余篇，主编《Visual Basic 程序设计教程》（高等教育出版社）等教材5部。 |
![《防火墙技术大全》[79M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/ad140f1a59099a72.jpg)
![《AutoCAD中文版室内装潢设计从入门到精通(适用于AutoCAD\》[47M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/7a335281d5c20f66.jpg)
![《类脑智能产业与技术发展路线图》[61M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/f3f1c4c3e7c0b5a3.jpg)
![《云存储安全实践陈驰等籍》[64M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/47b48c6cd2ef4e40.jpg)