每页显示
排序选项
排序方式
-
模型检验原理:(英) 克里斯特拉·拜耳, (英) 乔斯特-彼得·卡托恩, Christel Baier, Joost-Pieter Katoen, 赵光峰, 李师广, 樊丽丽
作者：(英) 克里斯特拉·拜耳, (英) 乔斯特-彼得·卡托恩, Christel Baier, Joost-Pieter Katoen, 赵光峰, 李师广, 樊丽丽
出版社：清华大学出版社
出版时间：20210101
ISBN：978-7-302-57735-5
索书号：TP393.021/2
分类号：TP393.021
页数：12, 692页
价格：CNY158.00
丛书：清华计算机图书译丛
复本数：
在馆数：
累借天数：
累借次数：
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法, 同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。