Time and probability in formal design of distributed systems /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
OCLC:30814740
Κύριος συγγραφέας: Hansson, Hans A.
Συγγραφή απο Οργανισμό/Αρχή: Uppsala universitet
Άλλοι συγγραφείς: Fredlund, Lars-åke
Γλώσσα:English
Έκδοση: Amsterdam ; New York : Elsevier, 1994.
Σειρά:Real-time safety critical systems ; 1.
Real-time safety critical systems ; v. 1.
Θέματα:
Μορφή:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.