机读格式显示(MARC)

• 000 00614nam2 2200181 4500

• 001 0000242307

• 020 __ |a 3-540-53479-2 |c ￥0.00

• 041 0_ |a eng

• 093 __ |a TP301.2 |v 4

• 245 1_ |a Semantics of Systems of Concurren Processes |c LITP Spring School on Theoretical Computer Science (1990 : La Roche Posay , France ) |g |A SEMANTIC |F LITPSPRI,FRANCE

• 250 __ |a

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

• 300 __ |a 456c25cm

• 440 0_ |a

• 700 _0 |a LITP Spring School on Theoretical Computer Science (1990 : La Roche Posay , France ) |A LITPSPRI,FRANCE |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP301.2/L1*1

• 999 __ |b 1