机读格式显示(MARC)
- 010 __ |a 978-7-302-62660-2 |d CNY69.00
- 100 __ |a 20230419d2023 em y0chiy50 ea
- 200 1_ |a 形式化方法导论 |A xing shi hua fang fa dao lun |f 张广泉编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2023
- 215 __ |a 288页 |c 图 |d 26cm
- 225 2_ |a 高等学校软件工程专业系列教材 |A gao deng xue xiao ruan jian gong cheng zhuan ye xi lie jiao cai
- 300 __ |a 江苏高校优势学科建设工程项目资助
- 320 __ |a 有书目 (第287-288页)
- 330 __ |a 本书共12章, 第1章概述形式化方法, 第2章介绍形式化方法发展早期的经典内容, 其余部分共分3篇: 上篇 (第3-5章) 为系统建模篇, 着重介绍迁移系统、有穷自动机、Petri网等基本计算模型 ; 中篇 (第6章和第7章) 为形式规约篇, 着重讨论时序逻辑及其在并发系统属性描述的应用 ; 下篇 (第8-12章) 为形式验证篇, 除介绍演绎证明方法外, 着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。
- 410 _0 |1 2001 |a 高等学校软件工程专业系列教材
- 606 0_ |a 形式语言 |A xing shi yu yan |x 高等学校 |j 教材
- 701 _0 |a 张广泉 |A zhang guang quan |4 编著
- 801 _0 |a CN |b HDUL |c 20230912
- 905 __ |a HDUL |d TP301.2/102/2