机读格式显示(MARC)

• 000 01476cam 2200361 a 4500

• 000 1000078291

• 001 0000302136

• 005 20060223092922.0

• 008 011025s2001 gw a b 101 0 eng

• 010 __ |a 2001054972

• 020 __ |a 3540427872 (softcover : alk. paper) : |c CNY200.00

• 040 __ |a DLC |c DLC |d OHX |d C$Q |d C#P |d SCT

• 050 00 |a QA76.5 |b .M69 2000

• 082 00 |a 004/.358 |2 21

• 090 __ |a TP338.6-53/MOV

• 093 __ |a TP338.6-53 |2 4

• 099 __ |a CAL 022002087571

• 111 2_ |a MOVEP 2000 |d (2000 : |c Nantes, France)

• 245 10 |a Modeling and verification of parallel processes : |b 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / |c Franck Cassez ... [et al.] (eds.).

• 246 30 |a MOVEP 2000

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

• 300 __ |a x, 222 p. : |b ill. ; |c 24 cm.

• 490 1_ |a Lecture notes in computer science, |x 0302-9743 ; |v 2067. |a Tutorial

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also available via the World Wide Web.

• 650 _0 |a Parallel processing (Electronic computers) |v Congresses.

• 700 1_ |a Cassez, Franck, |d 1967-

• 830 _0 |a Lecture notes in computer science ; |v 2067.

• 830 _0 |a Lecture notes in computer science. |p Tutorial.

• 901 __022006000178

• 905 __ |a CAU |f TP338.6-53/MOV |b W0075117(or.)

• 907 __ |a CAU |f TP338.6-53/MOV |b W0075117(or.)

• 999 __ |t C |A xy1 |a 20060223 09:24:44 |I xy1 |i 20060223 09:29:22 |G wzhlc |g 20060321 16:57:3