Mostrando
1 - 4
Resultados de
4
Para Buscar '
Gonzalía, Carlos José
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Gonzalía, Carlos José
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Gonzalía, Carlos José
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
por
Gonzalía
,
Carlos
José
Publicado 2010
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
2
An experimental tool for checking probabilistic program refinement
por
Gonzalía
,
Carlos
José
Publicado 2012
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
3
Análisis asintótico amortizado en lenguajes funcionales perezosos
por
Gonzalía
,
Carlos
José
Publicado 1997
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
4
Herramientas para la exploración y formalización de modelos de programas probabilísticos
por
Gonzalía
,
Carlos
José
Publicado 2014
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
Formal methods
SOFTWARE ENGINEERING
Análisis asintótico amortizado
Languages
Probabilistic computation
Software/Program Verification
computer verification
ingeniería del software
lenguajes funcionales perezosos
linear satisfiability checking
lógicas para la programación
métodos formales
probabilistic programs
refinement checking
servicios semánticos en la web
trace generation
verificación asistida por computadora
Cargando...