ERRO: 0 -- 4 - 5
Resultado da consulta
|
| Material | Detalhes (FCASA00004285) |
| Tipo de material : | T - Unidade: BC |
| Classificação : | 004 B393v |
| Autoria - Pessoal : | Beckler, Alberto Rubens. |
| Autoria Sec - Pessoal: | Prof. Sérgio Vale Aguiar Campos. |
| Autoria Sec - Ent Coletiva: | Universidade Federal de Minas Gerais. Instituto de Ciências Exatas. Departamento de Ciência da Computação. |
| Título: | Verificação formal de protocolos para sistemas de tempo real tolerante a falhas. |
| Imprenta: | Belo Horizonte, 2003 |
| Paginação: | 105 p |
| Notas de tese: | Dissertação (mestrado) |
| Descritores: | INFORMÁTICA |
| Tombo(s): | 05000149 |
InfoISIS - WEBSERVICE #
Developed by InfoISIS Ltda
Você pode ainda:
Refazer a busca, com todos os resultados em formato de referência, ordenados por autor
Refazer a busca, com todos os resultados em formato de referência, ordenados por título
Refazer a busca, com todos os resultados em formato de referência, ordenados por classificação
Ir para página de busca de aquisições/cadastros e recuperar os mais recentes materiais incorporados ao acervo