机读格式显示(MARC)

• 000 01281cam 2200337 a 4500

• 000 1000078190

• 001 0000302038

• 005 20060322151822.0

• 008 020215s2002 gw a b 001 0 eng d

• 020 __ |a 3540431675 (pbk.) : |c CNY300.00

• 040 __ |a OHX |c OHX |d UKM |d CUI |d C$Q |d SCT

• 082 04 |a 005.1 |2 21

• 090 __ |a TP311.1/MP

• 093 __ |a TP311.1 |2 4

• 099 __ |a CAL 022002152363

• 100 1_ |a Muller, Peter.

• 245 10 |a Modular specification and verification of object-oriented programs / |c Peter Müller.

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2002.

• 300 __ |a xiv, 292 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2262

• 500 __ |a Based on the author's thesis (doctoral)--Fernuniversit?t Hagen, 2001.

• 504 __ |a Includes bibliographical references (p. [271]-283) and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a Computer software |x Development.

• 650 _0 |a Object-oriented programming (Computer science)

• 650 _0 |a Modular programming.

• 710 2_ |a LINK (Online service)

• 901 __022006000031

• 905 __ |a CAU |f TP311.1/MP |b W0075194(or.)

• 907 __ |a CAU |f TP311.1/MP |b W0075194(or.)

• 999 __ |t C |A xy1 |a 20060221 09:34:38 |I wzhlc |i 20060322 15:18:22 |G wzhlc |g 20060322 15:18:2