|
|
|
|
| LEADER |
01632nam a2200349 a 4500 |
| 001 |
c000160948 |
| 003 |
CARM |
| 005 |
19850708000000.0 |
| 008 |
850311s1985 wb a b 001 0 eng |
| 019 |
1 |
|
|a 27563643
|z 3767837
|z 12432424
|z 64910085
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387152164
|b (U.S. : pbk.)
|
| 020 |
|
|
|a 3540152164
|b (Berlin)
|
| 035 |
|
|
|a (OCoLC)11866506
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|
| 050 |
0 |
0 |
|a QA76.9.D5
|b D63 1985
|
| 082 |
1 |
4 |
|a 001.64
|2 19
|
| 082 |
1 |
4 |
|a 004.36
|2 19
|
| 245 |
0 |
0 |
|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 ;
|a New York :
|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ür Informatik, Technische Universität München.
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: p. [548]-564.
|
| 650 |
|
0 |
|a Electronic data processing
|x Distributed processing.
|
| 700 |
1 |
|
|a Siegert, H. J.
|
| 700 |
1 |
|
|a Paul, Manfred.
|
| 700 |
1 |
|
|a Alford, M. W.
|q (Mack W.)
|
| 710 |
2 |
|
|a Technische Universität München.
|b Institut für Informatik.
|
| 852 |
8 |
|
|b CARM
|h A2:AM13D0
|i C05520
|p 0212103
|f BK
|
| 999 |
f |
f |
|i 183a22e6-cf02-5a4c-bcfa-93996b0a2e97
|s cb6ea4ea-f464-5892-b8ec-cc93155edf2a
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05520
|f A2:AM13D0
|h Other scheme
|i book
|m 0212103
|