Time and probability in formal design of distributed systems /

Guardado en:
Detalles Bibliográficos
OCLC:30814740
Autor principal: Hansson, Hans A.
Autor Corporativo: Uppsala universitet
Otros Autores: Fredlund, Lars-åke
Lenguaje:English
Publicado: Amsterdam ; New York : Elsevier, 1994.
Colección:Real-time safety critical systems ; 1.
Real-time safety critical systems ; v. 1.
Materias:
Formato:

Tesis Monograph

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

Borrow this resource

Item List

Descripción Local Call Number Estado
P-00378731 Disponible