Mostrando
1 - 1
Resultados de
1
Para Buscar '
Mello, Braulio Adriano de
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Mello, Braulio Adriano de
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Mello, Braulio Adriano de
'
, tiempo de consulta: 0.06s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
por
Mello
,
Braulio
Adriano
de
,
Camargo, Murilo Silva de
,
Specialski, Elizabeth Sueli
Publicado 1997
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Distributed
Gateway CMIP-SNMP
Gerência de Redes
LOTOS
Parallel processing
Simulation
Simulação
Técnicas de Descrição Formal
Verificação
Cargando...