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.

תיאור
תאור פריט:Originally presented as the author's thesis (Ph. D--Uppsala University, 1991)
תיאור פיזי:xxv, 304 p. : ill. ; 25 cm.
ביבליוגרפיה:Includes bibliographical references (p. 283-297) and index.
ISBN:0444899405 (alk. paper)
Place of Publication:Sweden.