机读格式显示(MARC)

• 000 01998nam0 2200637 450

• 001 0000242840

• 005 20160829152300.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

• 300 __ |a 21世纪高等学校计算机专业实用规划教材

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

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

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

• 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 XATU |d TP301.2/8

• 920 __ |a 211010 |z 2

• 920 __ |a 215010 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 235010 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 222020 |z 1

• 920 __ |a 237020 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a F44010 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 430102 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 222107 |z 1

• 920 __ |a 231220 |z 2

• 920 __ |a 245010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 242030 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 232340 |z 1

• 920 __ |a 244050 |z 1

• 998 __ |a NMU