Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 1985
Genre:	EDV / Informatik
	Distributed Data Processing / distributedsystems / Form / Graph / Informationssystem / Verteiltes System / Language / Model / System / Systems / Tool / Verification / Verteiltes System (EDV) mehr...
ISBN:	9783540152163
EAN-Code:	9783540152163
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 32 mm
Gewicht:	873 gr
Seiten:	584
Bewertung:	Titel bewerten / Meinung schreiben

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.