机读格式显示(MARC)

• 000 01049cam 2200301 a 4500

• 000 1000083160

• 001 0000306812

• 005 20070522152023.0

• 008 981216s1986 maua b 001 0 eng

• 020 __ |a 0262121123 : |c CNY40.00

• 040 __ |c SJT

• 050 0_ |a QA76.6 |b .L5655 1986

• 082 0_ |a 005.1/2 |2 19

• 090 __ |a TP33/LB

• 093 __ |a TP33 |2 4

• 099 __ |a CAL 022000325580

• 100 1_ |a Liskov, B.

• 245 10 |a Abstraction and specification in program development / |c Barbara Liskov and John Guttag.

• 260 __ |a Cambridge, Mass. : |b MIT Press ; |a New York : |b McGraw-Hill, |c c1986.

• 300 __ |a xv, 469 p. : |b ill. ; |c 24 cm.

• 440 _4 |a The MIT electrical engineering and computer science series

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Electronic digital computers |x Programming.

• 700 1_ |a Guttag, John.

• 901 __022007001865

• 905 __ |a CAU |f TP33/LB |b E0212367(or.)

• 907 __ |a CAU |f TP33/LB |b E0212367(or.)

• 999 __ |t C |A gypx |a 20070419 13:36:47 |I gypx |i 20070522 15:20:23 |G wzhlc |g 20070613 09:32:3