Time and probability in formal design of distributed systems

Gespeichert in:
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:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Teilw. zugl.: Uppsala, Univ., Diss., 1991
Beschreibung:XXV, 304 S. graph. Darst.
ISBN:0444899405