广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

模型检验原理/(德) 克里斯特尔·拜耳, 乔斯特-皮尔特·卡托恩著 赵光峰, 李师广, 樊丽丽等译

出版发行项:

北京:清华大学出版社,2021

ISBN及定价:

978-7-302-57735-5/CNY158.00

载体形态项:

XII, 692页:图;26cm

并列正题名:

Principles of model checking

丛编项:

清华计算机图书译丛

个人责任者:

拜耳 (Baier, Christel) 著

个人责任者:

卡托恩 (Katoen, Joost-Pieter) 著

个人次要责任者:

赵光峰 译

个人次要责任者:

李师广 译

个人次要责任者:

樊丽丽 译

学科主题:

计算机网络-网络模型-检验

中图法分类号:

TP393.021

出版发行附注:

由MIT出版社授权出版

书目附注:

有书目 (第656-679页)

提要文摘附注:

本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法, 主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等。

豆瓣简介：