Mostrando
1 - 6
Resultados de
6
Para Buscar '
Moscato, Mariano Miguel
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Moscato, Mariano Miguel
Mostrando
1 - 6
Resultados de
6
Para Buscar '
Moscato, Mariano Miguel
'
, tiempo de consulta: 0.08s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
por
Moscato
,
Mariano
Miguel
Publicado 2013
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis Doctoral
2
Sobre la entropía algorítmica de objetos abstractos
por
Moscato
,
Mariano
Miguel
Publicado 22 J
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de Grado
3
Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
por
Moscato
,
Mariano
Miguel
Publicado 2013
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis doctoral
publishedVersion
4
Sobre la entropía algorítmica de objetos abstractos
por
Moscato
,
Mariano
Miguel
Publicado 2005
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de grado
publishedVersion
5
Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
por
Moscato
,
Mariano
Miguel
Publicado 2013
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis doctoral
publishedVersion
6
Sobre la entropía algorítmica de objetos abstractos
por
Moscato
,
Mariano
Miguel
Publicado 2005
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis de grado
publishedVersion
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
ALLOY CALCULUS
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
CALCULO PARA ALLOY
DEMOSTRACION DE TEOREMAS INTERACTIVA
INTERACTIVE THEOREM PROVING
PVS
SAT-SOLVING
SPECIFICATION ANALYSIS
Cargando...