西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:37

题名/责任者:
形式化方法导论/张广泉编著
出版发行项:
北京:清华大学出版社,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  - 未央馆     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架