机读格式显示(MARC)

• 000 00475nam2 2200181 4500

• 001 0000237964

• 020 __ |a 3-540-50845-7 |c ￥10.60

• 041 0_ |a eng

• 093 __ |a TP311.1 |v 4

• 245 1_ |a Compositionality , concurrency and partial correctness |c Zwiers , J . |g |A COMPOSIT,CONCURRE |F ZWIERS,J

• 250 __ |a

• 260 __ |a Berlin |b Springer-Verlag |c 1989

• 300 __ |a 272c25cm

• 440 0_ |a

• 700 _0 |a Zwiers , J . |A ZWIERS,J |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP311.1/Z1

• 999 __ |b 1