机读格式显示(MARC)

• 000 00740nam 2200241 450

• 001 0000231636

• 005 20011127150549.2

• 010 __ |a 7-03-000279-2 |d 2.15

• 100 __ |a 19991204d1988 km y0chiy0120 ea

• 101 0_ |a chi

• 105 __ |a z 000yy

• 200 1_ |a 程序验证和规范的形式方法 |f (美)H.K.伯格著 |F (Mei)H.K.Bo Ge Zhu |g 宋国新等译 |A Cheng Xu Yan Zheng He Gui Fan De Xing Shi Fang Fa

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

• 215 __ |a 250页 |d 小32开

• 540 __ |a CXYZHGFDXSFF

• 606 __ |a 软件

• 610 __ |a 程序 |a 验证 |a 规范 |a 形式 |a 方法

• 690 __ |a TP311.1

• 701 _0 |a )H.K.伯格 |c (美 |4 著

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

• 801 0_ |a CN |b Library |c 20011114 |U UnKnown

• 801 _0 |a CN |b Library |c 20011127 |U sa

• 905 __ |a JHUL |d TP311.1/35