Distributed systems : methods and tools for specification : an advanced course
著者
書誌事項
Distributed systems : methods and tools for specification : an advanced course
(Lecture notes in computer science, 190)
Springer-Verlag, c1985
- : gw
- : us
大学図書館所蔵 件 / 全59件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
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
内容説明・目次
目次
Basic concepts.- Acquisition - environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
「Nielsen BookData」 より