|
题名:
|
形式化方法导论 xing shi hua fang fa dao lun / 张广泉编著 , |
|
ISBN:
|
978-7-302-41161-1 价格： CNY39.00 |
|
语种:
|
chi |
|
载体形态:
|
256页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2015 |
|
内容提要:
|
本书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇:上篇(第3-5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型;中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用;下篇(第8-12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。 |
|
主题词:
|
形式语言 高等学校 |
|
中图分类法:
|
TP301.2-43 版次： 5 |
|
主要责任者:
|
张广泉 zhang guang quan 编著 |
|
附注:
|
21世纪高等学校计算机专业实用规划教材 “十二五”江苏省高等学校重点教材 |