Time and probability in formal design of distributed systems

Bibliographische Detailangaben

1. Verfasser:	Hansson, Hans A. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam u.a. Elsevier 1994
Schriftenreihe:	Real-time safety critical systems 1
Schlagworte:	Data processing - Systems analysis Datenverarbeitung Electronic data processing > Distributed processing Real-time data processing System design Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!