Distributed Systems : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider

Von:

Paul, Manfred, 1932-2021 [aut]

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 190Verlag: Berlin, Heidelberg : Springer-Verlag, 1985Beschreibung: Online-RessourceISBN:

9783540393634

Schlagwörter:

Genre/Form:

Andere physische Formen: 9783540152163 | Buchausg. u.d.T.: Distributed systems. Berlin [u.a.] : Springer, 1985. VI, 573 S.DDC-Klassifikation:

001.64
004.6 23

LOC-Klassifikation:

QA76.9.D5

DOI: DOI: 10.1007/3-540-15216-4Online-Ressourcen:

Zusammenfassung: 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.PPN: PPN: 1649202938Package identifier: Produktsigel: ZDB-1-SLN | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB

Exemplare ( 0 )

Dieser Titel hat keine Exemplare