机读格式显示(MARC)

• 000 01386nam0 2200301 450

• 001 0000569789

• 005 20160620104300.0

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

• 099 __ |a CAL 012016014962

• 100 __ |a 20160229d2015 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

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

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

• 215 __ |a 256页 |c 图 |d 26cm

• 225 2_ |a 21世纪高等学校计算机专业实用规划教材 |A 21 shi ji gao deng xue xiao ji suan ji zhuan ye shi yong gui hua jiao cai

• 300 __ |a “十二五”江苏省高等学校重点教材 (编号: 2014-2-045)

• 320 __ |a 有书目 (第255-256页)

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

• 410 _0 |1 2001 |a 21世纪高等学校计算机专业实用规划教材

• 606 0_ |a 形式语言 |A xing shi yu yan

• 690 __ |a TP301.2 |v 5

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

• 801 _0 |a CN |b NMU |c 20160229

• 905 __ |a SCNU |f TP301.2/1202

• 920 __ |a 242430 |z 1