Mostrando 1 - 3 Resultados de 3 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: CALCULO PARA ALLOY
Restablecer filtros
Mostrar filtros (1)
Materias: CALCULO PARA ALLOY
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
ALLOY CALCULUS 3 ANALISIS DE ESPECIFICACIONES DE SOFTWARE 3 CALCULO PARA ALLOY DEMOSTRACION DE TEOREMAS INTERACTIVA 3 INTERACTIVE THEOREM PROVING 3 PVS 3 SAT-SOLVING 3 SPECIFICATION ANALYSIS 3
Mostrando 1 - 3 Resultados de 3 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
  1. 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. 2
    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
  3. 3
    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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 3
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2 Repositorio Digital de la Universidad de Buenos Aires (UBA) 1
Tesis doctoral 2 Tesis Doctoral 1
Moscato, Mariano Miguel 3 Frias, Marcelo Fabián 1 Frías, Marcelo Fabián 1
Inglés 3

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...