MARC状态:审校 文献类型:中文图书 浏览次数:39
- 题名/责任者:
- 形式化方法导论/张广泉编著
- 出版发行项:
- 北京:清华大学出版社,2015
- ISBN及定价:
- 978-7-302-41161-1/CNY39.00
- 载体形态项:
- 256页:图;26cm
- 个人责任者:
- 张广泉 编著
- 学科主题:
- 形式语言
- 中图法分类号:
- TP301.2
- 一般附注:
- 21世纪高等学校计算机专业实用规划教材
- 一般附注:
- “十二五”江苏省高等学校重点教材(编号:2014-2-045)
- 书目附注:
- 有书目 (第255-256页)
- 提要文摘附注:
- 本书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇: 上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型; 中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用; 下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP301.2/8 | CN1458586 | - | 内阅图书 | 阅览 | |
TP301.2/8 | CN1458587 | - | 未央馆 | 可借 | 未央馆 |
TP301.2/8 | CN1458588 | - | 未央馆 | 可借 |
显示全部馆藏信息