SEDICI - Repositorio de la Universidad Nacional de La Plata
Inicio
Buscar material
Colecciones
Autores
Temas
Subir material
Institucional
¿Que es SEDICI?
Políticas del repositorio
Links
Staff
Cómo llegar
Preguntas frecuentes
Cómo agregar trabajos
Información para tesistas
Revistas de Acceso Abierto
Más preguntas frecuentes
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refine su busqueda
Tipo de documento
Objeto de conferencia (2)
Fecha de publicación
2002 (1)
2001 (1)
1999 (1)
Materia
Ciencias Informáticas (2)
Autor
Baum, Gabriel Alfredo (2)
Medel, Ricardo (2)
Palabra Clave
Algebras Fork (2)
calculo relacional (1)
Formal methods (1)
Ingeniería de software (1)
Lógica Modal (1)
Métodos formales (1)
Models (1)
sistemas especificados (1)
Software (1)
SOFTWARE ENGINEERING (1)
Unidades académicas
→
Facultad de Informática
Facultad de Informática
Resultados de su búsqueda...
Mostrando 2 de un total de 2 resultados de la comunidad: Facultad de Informática.
(0.034 segundos)
Mostrando ítems 1-2 de 2
1
Objeto de conferencia
V Congreso Argentino de Ciencias de la Computación
2001
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
Medel, Ricardo; Baum, Gabriel Alfredo
Objeto de conferencia
VIII Congreso Argentino de Ciencias de la Computación
2002
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
Baum, Gabriel Alfredo; Medel, Ricardo
Mostrando ítems 1-2 de 2
1
Iniciar sesión
Resultados
5
10
20
40
60
80
100
Ordenar por
Relevancia
Título (ascendente)
Título (descendente)
Fecha de publicación (ascendente)
Fecha de publicación (descendente)
Fecha de carga (ascendente)
Fecha de carga (descendente)