机读格式显示(MARC)

• 000 00551nam2 2200181 4500

• 001 0000244870

• 020 __ |a 3-540-53892-4 |c ￥22.30

• 041 0_ |a eng

• 093 __ |a TB311.52 |v 4

• 245 1_ |a International Joint Conference on Theory and Practice of Software Develoment |c S . Abramsky , T . S . E. Maibaum |g |A INTERNAT |F SABRAMSK,TSEMAIBA

• 250 __ |a

• 260 __ |a London |b Springer-Verlag |c 1991

• 300 __ |a 493c25 cm

• 440 0_ |a

• 700 _0 |a S . Abramsky , T . S . E. Maibaum |A SABRAMSK,TSEMAIBA |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TB311.52/I2

• 999 __ |b 1