Umfang:
Online-Ressource
ISBN:
9783540393634
Serie:
Lecture Notes in Computer Science 190
Inhalt:
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.
Anmerkung:
Literaturverz. S. [548] - 564
Weitere Ausg.:
ISBN 9783540152163
Weitere Ausg.:
Buchausg. u.d.T. Distributed systems Berlin [u.a.] : Springer, 1985 ISBN 3540152164
Weitere Ausg.:
ISBN 0387152164
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Verteiltes System
;
Softwarespezifikation
;
Verteiltes System
;
Verteiltes System
;
Verteiltes System
;
Softwarespezifikation
;
Verteiltes System
;
Verteiltes System
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift
DOI:
10.1007/3-540-15216-4
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
