Time and probability in formal design of distributed systems /

Gorde:
Xehetasun bibliografikoak
OCLC:30814740
Egile nagusia: Hansson, Hans A.
Erakunde egilea: Uppsala universitet
Beste egile batzuk: Fredlund, Lars-åke
Hizkuntza:English
Argitaratua: Amsterdam ; New York : Elsevier, 1994.
Saila:Real-time safety critical systems ; 1.
Real-time safety critical systems ; v. 1.
Gaiak:
Electronic data processing > Distributed processing.
System design.
Real-time data processing.
Data processing > Systems analysis.
Formatua:

Thesis Monograph

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

Deskribapena
Alearen deskribapena:Originally presented as the author's thesis (Ph. D--Uppsala University, 1991)
Deskribapen fisikoa:xxv, 304 p. : ill. ; 25 cm.
Bibliografia:Includes bibliographical references (p. 283-297) and index.
ISBN:0444899405 (alk. paper)
Argitaratze lekua:Sweden.

Antzeko izenburuak