|
题名:
|
形式化方法导论 / 张广泉编著 , |
|
ISBN:
|
978-7-302-62660-2 价格： CNY69.00 |
|
语种:
|
chi |
|
载体形态:
|
288页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2023 |
|
内容提要:
|
本书12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇：上篇为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型；中篇为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用；下篇为形式验证篇，着重介绍定理证明方法和并发、实时及混成系统的各种模型检测方法及相关验证工具。 |
|
主题词:
|
形式语言 高等学校 |
|
中图分类法:
|
TP301.2 版次： 5 |
|
主要责任者:
|
张广泉 编著 |
|
版次:
|
第2版 |
|
附注:
|
江苏省高等学校重点教材 编号2021-1-062 江苏高校优势学科建设工程项目资助 水木书荟 |