机读格式显示(MARC)

• 000 01923nam 2200625 450

• 001 0000211947

• 005 20060220091334.0

• 010 __ |a 7-04-016079-X |d CNY26.00

• 099 __ |a CAL 012005036296

• 100 __ |a 20050226d2005 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 软件开发的形式化方法 |A ruan jian kai fa de xing shi hua fang fa |f 古天龙

• 210 __ |a 北京 |c 高等教育出版社 |d 2005

• 215 __ |a 265页 |c 图 |d 24cm

• 225 2_ |a 高等学校研究生系列教材 |A gao deng xue xiao yan jiu sheng xi lie jiao cai

• 312 __ |a 英文并列题名取自封面

• 320 __ |a 有书目 (第263-265页)

• 330 __ |a 本书对软件开发的形式化方法进行了介绍和讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，内容包括：软件及其开发概述，有限状态机及其扩展，一阶逻辑，时态逻辑，模态逻辑等。

• 333 __ |a 计算机, 软件工程等专业的高年级本科生或研究生.

• 410 _0 |1 2001 |a 高等学校研究生系列教材

• 510 1_ |a Formal methods of software development |z eng

• 606 0_ |a 软件开发 |A ruan jian kai fa |x 研究生 |j 教材

• 690 __ |a TP311.52 |v 4

• 701 _0 |a 古天龙 |A gu tian long |4 著

• 801 _0 |a CN |b XHSD |c 20050226

• 801 _2 |a CN |b SCNU |c 20060220

• 905 __ |a SCNU |f TP311.52/4014/ 1

• 920 __ |a 211060 |z 1

• 920 __ |a 221060 |z 1

• 920 __ |a 211050 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 222190 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 222020 |z 1

• 920 __ |a 242250 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 221010 |z 2

• 998 __ |a BUA

• 999 __ |M wxh |m 20060220 09:13:34 |G gly |g 20060220 09:34:29

• 000 0000260598

• 991 __ |a 012006002718

• 907 __ |a SCNU |f TP311.52/4014/ 1