机读格式显示(MARC)

• 000 01822nam 2200493 a 4500

• 001 0000402831

• 003 SCNU

• 005 20050718151351.0

• 008 850311s1985 wb a b 001 0 eng

• 010 __ |a 85004800 //r902

• 020 __ |a 3540152164

• 020 __ |a 0387152164 (U.S. : pbk.)

• 040 __ |a DLC |c DLC |d DLC

• 050 00 |a QA76.9.D5 |b D63 1985

• 082 00 |a 001.64 |2 19

• 093 __ |a TP31 |2 4

• 099 __ |a CAL 022000215338

• 245 00 |a Distributed systems : |b methods and tools for specification : an advanced course / |c M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert.

• 260 __ |a Berlin : |b Springer-Verlag, |c c1985.

• 300 __ |a vi, 573 p. : |b ill. ; |c 25 cm.

• 440 _0 |a Lecture notes in computer science ; |v 190

• 500 __ |a Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut fèur Informatik, Technische Universitèat Mèunchen.

• 504 __ |a Includes bibliographical references (p. [548]-564) and index.

• 650 _0 |a Electronic data processing |x Distributed processing.

• 700 1_ |a Alford, M. W. |q (Mack W.)

• 710 2_ |a Technische Universitèat Mèunchen. |b Institut fèur Informatik.

• 920 __ |a 211010 |b TP3-5 |c L497/no.190 |z 1

• 920 __ |a 251030 |z 1

• 920 __ |a 231030 |b TP302 |c D614D |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 222220 |z 1

• 950 __ |a SCNU |f TP31/A389

• 998 __ |a PUL

• 999 __ |t C |A luol |a 20050718 15:12:50 |M luol |m 20050718 15:13:51 |G luol |g 20050718 15:14:25

• 000 1000016293

• 991 __ |a 022005011742

• 907 __ |a SCNU |f TP31/A389