Distributed Systems
Methods and Tools for Specification. An Advanced Course
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
106.99 €
Produktdetails
Produktinformationen zu „Distributed Systems “
Klappentext zu „Distributed Systems “
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.
Inhaltsverzeichnis zu „Distributed Systems “
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.
Bibliographische Angaben
- Autoren: M. W. Alford , G. Hommel , G. P. Mullery , J. P. Ansart , F. B. Schneider , L. Lamport , B. Liskov
- 1985, 1985, 576 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- By M. W. Alford, J. P. Ansart, G. Hommel, et al.
- Herausgegeben: H. J. Siegert, Manfred Paul
- Verlag: Springer
- ISBN-10: 3540152164
- ISBN-13: 9783540152163
- Erscheinungsdatum: 01.04.1985
Sprache:
Englisch
Kommentar zu "Distributed Systems"
0 Gebrauchte Artikel zu „Distributed Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Distributed Systems".
Kommentar verfassen