M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Sc — Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science)
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science)
Авторы: M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Sc
Аннотация:
The papers comprising this volume were prepared for and presented
during the Advanced Course on Distributed Systems - Methods and Tools for
Specification. The course was held from April 3 to April 12, 1984 at the
Technische Universittit Milnchen. Due to its success it was repeated from
April 16 to April 25, 1985. The organization lay in the hands of the Institut ftir
]nformatik, and it was jointly financed by the Ministry for Research and
Technology of the Federal Republic of Germany, and the Commission of the
European Communities.