Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Distributed Systems

M. W. Alford
,
G. Hommel
,
G. P. Mullery
(0)
Erste Bewertung abgeben
Klappentext Basic concepts.- Acquisition environment.- A graph model based approach to specifications.- Formal foundation for spec...

Tiefpreis

CHF120.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Klappentext

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.

Inhalt
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.

Produktinformationen

Titel:
Distributed Systems
Untertitel:
Methods and Tools for Specification. An Advanced Course
Autor:
M. W. Alford
,
G. Hommel
,
G. P. Mullery
,
J. P. Ansart
,
F. B. Schneider
,
L. Lamport
,
B. Liskov
Schöpfer:
M. W. Alford
,
J. M. Ansart
,
G. Hommel
Editor:
H. J. Siegert
,
Manfred Paul
EAN:
9783540152163
ISBN:
3540152164
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Veröffentlichung:
01.04.1985
Anzahl Seiten:
584
Gewicht:
873g
Größe:
H235mm x B155mm x T32mm
Jahr:
1985
Untertitel:
Englisch
Auflage:
1985