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

Distributed Systems

Methods and Tools for Specification. An Advanced Course
Mitarbeit:Alford, M. W.; Ansart, J. M.; Hommel, G.

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 190
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-15216-3
• 1985.
• Seitenzahl: 584
• Erscheinungstermin: 1. April 1985
• Englisch
• Abmessung: 235mm x 155mm x 32mm
• Gewicht: 928g
• ISBN-13: 9783540152163
• ISBN-10: 3540152164
• Artikelnr.: 23121702

Inhaltsangabe

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.