Alford, M. W.; Hommel, G.; Mullery, G. P.; Ansart, J. P.; Schneider, F. B.; Lamport, L.; Liskov, B.

Distributed Systems

70,00 CHF*

Sofort verfügbar, Lieferzeit: 1-3 Tage

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.

1985
584 Seiten
Hardcover
Erscheinungsdatum 01.04.1985
ISBN 9783540152163

Herzlich Willkommen!

Distributed Systems