|
题名:
|
形式化方法导论 / 张广泉编著 , |
|
ISBN:
|
978-7-302-41161-1 价格： CNY39.00 |
|
语种:
|
chi |
|
载体形态:
|
256页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2015 |
|
内容提要:
|
全书共12章, 第1章概述形式化方法, 第2章介绍形式化方法发展早期的经典内容, 其余部分共分3篇: 上篇 (第3-5章) 为系统建模篇, 着重介绍迁移系统、有穷自动机等 ; 中篇 (第6和第7章) 为形式规约篇, 着重讨论时序逻辑及其在并发系统属性描述的应用 ; 下篇 (第8-12章) 为形式验证篇, 除介绍演绎证明方法外, 着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。 |
|
主题词:
|
形式语言 高等学校 |
|
中图分类法:
|
TP301.2 版次： 5 |
|
主要责任者:
|
张广泉 编著 |
|
索书号:
|
5 |