Time and probability in formal design of distributed systems /

Đã lưu trong:
Chi tiết về thư mục
OCLC:30814740
Tác giả chính: Hansson, Hans A.
Tác giả của công ty: Uppsala universitet
Tác giả khác: Fredlund, Lars-åke
Ngôn ngữ:English
Được phát hành: Amsterdam ; New York : Elsevier, 1994.
Loạt:Real-time safety critical systems ; 1.
Real-time safety critical systems ; v. 1.
Những chủ đề:
Electronic data processing > Distributed processing.
System design.
Real-time data processing.
Data processing > Systems analysis.
Định dạng:

Luận văn Monograph

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

Miêu tả
Mô tả sách:Originally presented as the author's thesis (Ph. D--Uppsala University, 1991)
Mô tả vật lý:xxv, 304 p. : ill. ; 25 cm.
Thư mục:Includes bibliographical references (p. 283-297) and index.
số ISBN:0444899405 (alk. paper)
Nơi xuất bản:Sweden.

Những quyển sách tương tự