机读格式显示(MARC)

• 000 00722nam2 2200265 4500

• 000 0000024670

• 001 0000023924

• 005 20000314194423.0

• 010 __ |a |b 平装 |d 2.15元

• 100 __ |a 19990523d1988 akmy0chiy1021 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 程序验证和规范的形式方法 |f (美)伯格,H.K.等著 |g 宋国新等译

• 210 __ |a 北京 |c 科学出版社 |d 1988.4

• 215 __ |a 250页 |d 19cm

• 690 __ |a TP31 |v 三版

• 700 _0 |a 伯格,H.K.等 |4 著

• 702 _0 |a 宋国新等 |4 译

• 801 _0 |a CN |b XITC |c 19970901

• 905 __ |a XATU |d TP31/78

• 991 __011999024564

• 995 __ |a 261060 |b 148421-425 |d TP31 |e 78 |f TP31/78

• 999 __ |E acqcatachi |e 19990722151728 |G yyll |g 2000031419443