Time and probability in formal design of distributed systems /

Saved in:
書目詳細資料
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.

Borrow this resource

Item List

實物特徵 Local Call Number 狀態
P-00378731 可用