Distributed systems : methods and tools for specification : an advanced course
Author(s)
Bibliographic Information
Distributed systems : methods and tools for specification : an advanced course
(Lecture notes in computer science, 190)
Springer-Verlag, c1985
- : gw
- : us
Available at / 57 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||19085022980
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:190881003930
-
No Libraries matched.
- Remove all filters.
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
Bibliography: p. [548]-564