Mostrando 1 - 3 Resultados de 3 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: JAVA (LENGUAJE DE PROGRAMACION)
Restablecer filtros
Mostrar filtros (1)
Materias: JAVA (LENGUAJE DE PROGRAMACION)
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
ALLOY 3 ANALISIS AUTOMATICO DE SOFTWARE 3 AUTOMATED SOFTWARE ANALYSIS 3 BOUNDED EXHAUSTIVE VERIFICATION 3 DISTRIBUTED SYSTEMS 3 EJECUCION SIMBOLICA 3 INGENIERIA DE SOFTWARE 3 JAVA 3 JAVA (LENGUAJE DE PROGRAMACION) JML 3 SISTEMAS DISTRIBUIDOS 3 SOFTWARE ENGINEERING 3 SYMBOLIC EXECUTION 3 TACO 3 VERIFICACION EXHAUSTIVA ACOTADA 3
Mostrando 1 - 3 Resultados de 3 Para Buscar '', tiempo de consulta: 0.09s Limitar resultados
  1. 1
    Técnicas distribuídas para verificación acotada eficiente
    por Rosner, Nicolás Leandro
    Publicado 2015
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis Doctoral
  2. 2
    Técnicas distribuídas para verificación acotada eficiente
    por Rosner, Nicolás Leandro
    Publicado 2015
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis doctoral publishedVersion
  3. 3
    Técnicas distribuídas para verificación acotada eficiente
    por Rosner, Nicolás Leandro
    Publicado 2015
    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
Rosner, Nicolás Leandro 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...