机读格式显示(MARC)

• 000 01418cam 2200337 a 4500

• 000 1000077884

• 001 0000301750

• 005 20051231090840.0

• 008 020206s2002 gw a b 101 0 eng d

• 020 __ |a 3540431667 : |c CNY500.00

• 040 __ |a UKM |c UKM |d ORE |d C$Q |d CVU |d SCT

• 050 _4 |a QA76.73.B155 |b I58 2002

• 082 04 |a 005.133 |2 21

• 090 __ |a TP312-53/ICB

• 093 __ |a TP312-53 |2 4

• 099 __ |a CAL 022002151038

• 111 2_ |a International Conference of B and Z Users |n (2nd : |d 2002 : |c Grenoble, France)

• 245 10 |a ZB 2002 : |b formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / |c Didier Bert ... [et al.] (eds.).

• 246 30 |a Formal specification and development in Z and B

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

• 300 __ |a xii, 534 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a B (Computer program language) |v Congresses.

• 650 _0 |a Z (Computer program language) |v Congresses.

• 700 1_ |a Bert, Didier.

• 901 __022005000671

• 905 __ |a CAU |f TP312-53/ICB |b W0074847(or.)

• 907 __ |a CAU |f TP312-53/ICB |b W0074847(or.)

• 999 __ |t C |A xy1 |a 20051229 09:02:57 |I xy1 |i 20051231 09:08:40 |G wzhlc |g 20060302 08:20:2