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.
الموضوعات:
التنسيق:

أطروحة 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.
ردمك:0444899405 (alk. paper)
مكان النشر:Sweden.