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 InfoBerlin ; New York : Springer-Verlag, ©1985.
Descriptionvi, 573 pages : illustrations ; 25 cm.
Subjects

Other author/creatorAlford, M. W. (Mack W.)
Other author/creatorPaul, Manfred.
Other author/creatorSiegert, H. J.
Other author/creatorTechnische Universität München. Institut für Informatik.
SeriesLecture notes in computer science ; 190
Lecture notes in computer science 190. ^A466336
General notePrepared 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 noteIncludes index.
Bibliography noteBibliography: p. [548]-564.
LCCN 85004800
ISBN0387152164 (U.S. : pbk.)