|
题名:
|
模型检验原理 mo xing jian yan yuan li / (英)克里斯特拉·拜耳 (Christel Baier)，(英)乔斯特-彼得·卡托恩(Joost-Pieter Katoen)著 , 赵光峰，李师广，樊丽丽等译 |
|
ISBN:
|
978-7-302-57735-5 价格： CNY158.00 |
|
语种:
|
chi |
|
载体形态:
|
12,692页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2021 |
|
内容提要:
|
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。 |
|
主题词:
|
计算机网络 网络模型 |
|
中图分类法:
|
TP393.021 版次： 5 |
|
主要责任者:
|
拜耳 bai er 著 |
|
主要责任者:
|
卡托恩 ka tuo en 著 |
|
次要责任者:
|
赵光峰 zhao guang feng 译 |
|
次要责任者:
|
李师广 li shi guang 译 |
|
次要责任者:
|
樊丽丽 fan li li 译 |
|
索书号:
|
3 |