Formal techniques in real-time and fault-tolerant systems :
Autores: Vytopil, J.,--Jan Periódico: Lecture notes in computer science ; . 571 Publicado por : Springer, (Berlin :) Detalhes físicos: ix, 620 p ISBN: 3540550925; 0387550925. Assunto(s): Real-time data processing --Congresses | Fault-tolerant computing --Congresses Year: 1991| Tipo de documento | Localização | Call number | Cópia | Estado | Date due |
|---|---|---|---|---|---|
 Livro |
IST - Biblioteca de Elect.Comp. e Inf. IST-Bib Electricidade | QA76.54.F.95568 (Browse shelf) | 1 | Disponivel |
Click numa imagem para vê-la no visualizador de imagens
