Produktbild: Distributed Systems

Distributed Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Methods and Tools for Specification.An Advanced Course, Lecture Notes in Computer Science 190

ISBN: 3540152164
ISBN 13: 9783540152163
Herausgeber: Manfred Paul/H J Siegert
Verlag: Springer Verlag GmbH
Umfang: viii, 576 S.
Erscheinungsdatum: 01.04.1985
Weitere Autoren: Alford, M W/Ansart, J P/Hommel, G et al
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1457705 Kategorie:

Beschreibung

Autorenporträt

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …