机读格式显示(MARC)

• 000 01290nam 2200457 a 4500

• 001 0000401660

• 003 SCNU

• 005 20050717114540.0

• 008 981216s1982 enk b 00110 eng

• 010 __ |a 81012276

• 020 __ |a 0521242150

• 020 __ |a 0521285313 (pbk.)

• 040 __ |c SJT

• 050 0_ |a QA76.6 |b .M399 1982

• 082 0_ |a 001.64/25/0287 |2 19

• 093 __ |a TP312 |2 4

• 099 __ |a CAL 022000334787

• 100 1_ |a McGettrick, Andrew D., |d 1944-

• 245 10 |a Program verification using Ada / |c Andrew D. McGettrick.

• 260 __ |a Cambridge ; |a New York : |b Cambridge University Press, |c 1982.

• 300 __ |a 345 p. ; |c 24 cm.

• 440 _0 |a Cambridge computer science texts ; |v 13

• 500 __ |a Includes index.

• 504 __ |a Bibliography: p. 335-339.

• 650 _0 |a Computer programs |x Verification.

• 650 _0 |a Ada (Computer program language)

• 920 __ |a 231030 |b TP312 |c M145P |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 243040 |z 1

• 950 __ |a SCNU |f TP312/M145.2

• 998 __ |a SJT

• 999 __ |t C |A wp |a 20050717 11:45:08 |M wp |m 20050717 11:45:40

• 000 1000015107

• 991 __ |a 022005010545

• 907 __ |a SCNU |f TP312/M145.2