机读格式显示(MARC)
- 000 01037nam0 2200265 450
- 010 __ |a 978-7-302-29277-7 |d CNY34.50
- 100 __ |a 20121206d2012 em y0chiy0110 ea
- 200 1_ |a 软件形式规格说明语言—Z |A ruan jian xing shi gui ge shuo ming yu yan — Z |f 繆淮扣,陈怡海编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2012
- 300 __ |a 普通高等教育“十一五”国家级规划教材 软件工程专业核心课程系列教材
- 330 __ |a 本书旨在讨论软件工程中形式方法的概念、方法和表示法,并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构,还讨论了Z规格说明的推理和求精方法。还介绍了面向对象的规格说明语言Object-Z和其他形式方法表示和工具。
- 606 0_ |a 软件工程 |A Ruan Jian Gong Cheng |x 高等教育 |j 教材
- 701 _0 |a 缪淮扣 |A miu huai kou |4 编著
- 701 _0 |a 陈怡海 |A chen yi hai |4 编著
- 801 _0 |a CN |b HDUL |c 20130619
- 905 __ |a HDUL |d TP311.5/235