Distributed systems methods and tools for specification : an advanced course / M.W. Alford [and others] ; edited by M. Paul and H.J. Siegert.
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1985. |
| Description | vi, 573 pages : illustrations ; 25 cm. |
| Subjects |
| Other author/creator | Alford, M. W. (Mack W.) |
| Other author/creator | Paul, Manfred. |
| Other author/creator | Siegert, H. J. |
| Other author/creator | Technische Universität München. Institut für Informatik. |
| Series | Lecture notes in computer science ; 190 Lecture notes in computer science 190. ^A466336 |
| General note | 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. |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [548]-564. |
| LCCN | 85004800 |
| ISBN | 0387152164 (U.S. : pbk.) |