Distributed Systems
Methods and Tools for Specification.An Advanced Course, Lecture Notes in Computer Science 190
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Autorenportrait
InhaltsangabeBasic 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.
Weitere Details
Erschienen: 01.04.1985
Umfang: viii, 576 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540152163
Umbreit-Nr.: 1457705
