机读格式显示(MARC)

• 000 01117nam0 2200253 450

• 001 0000608725

• 005 20160419151000.0

• 010 __ |a 978-7-302-41161-1 |d CNY39.00

• 100 __ |a 20160217d2015 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 形式化方法导论 |A xing shi hua fang fa dao lun |b 专著 |f 张广泉编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2015

• 215 __ |a 256页 |d 26cm

• 300 __ |a 21世纪高等学校计算机专业实用规划教材 “十二五”江苏省高等学校重点教材

• 330 __ |a 本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇：上篇（第3-5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型；中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用；下篇（第8-12章）为形式验证篇，除介绍演绎证明方法外，着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。

• 606 0_ |a 形式语言 |A Xing Shi Yu Yan |x 高等学校 |j 教材

• 690 __ |a TP301.2 |v 5

• 701 _0 |a 张广泉 |A zhang guang quan |4 编著

• 801 _0 |a CN |b HDUL |c 20160419

• 905 __ |a HDUL |d TP301.2/102

• 920 __ |a 233030 |z 1