Mostrando 1 - 3 Resultados de 3 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: FORMAL SPECIFICATIONS
Restablecer filtros
Mostrar filtros (1)
Materias: FORMAL SPECIFICATIONS
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
ESPECIFICACIONES FORMALES 3 FORMAL SPECIFICATIONS RECUPERACION EN TIEMPO DE EJECUCION 3 RUNTIME RECOVERY 3 SAT SOLVING 3 WORKAROUNDS 3
Mostrando 1 - 3 Resultados de 3 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
  1. 1
    Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
    por Uva, Marcelo Ariel
    Publicado 21 d
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis Doctoral
  2. 2
    Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
    por Uva, Marcelo Ariel
    Publicado 2022
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis doctoral publishedVersion
  3. 3
    Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
    por Uva, Marcelo Ariel
    Publicado 2022
    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
Uva, Marcelo Ariel 3 Ponzio, Pablo Daniel 2
Español 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...