Mostrando 1 - 3 Resultados de 3 Para Buscar 'Ariño, Rodrigo' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
  • Autor
  • Ariño, Rodrigo
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Ariño, Rodrigo', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
    por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
    Publicado 2010
    Aportado por: SEDICI (UNLP)
    Enlace del recurso
    Objeto de conferencia
    Agregar a favoritos
    Guardado en:
  2. 2
    Towards scaling up DynAlloy analysis using predicate abstraction
    por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
    Publicado 2009
    Aportado por: SEDICI (UNLP)
    Enlace del recurso
    Objeto de conferencia
    Agregar a favoritos
    Guardado en:
  3. 3
    SocialSchool: una plataforma web para instituciones educativas
    por Brusatti, Franco, Permigiani, Sonia, Novaira, Maria Marta, Ariño, Rodrigo, Depetris, Eduardo, Coria, Sául
    Publicado 2017
    Aportado por: SEDICI (UNLP)
    Enlace del recurso
    Objeto de conferencia
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Materias Relacionadas

Ciencias Informáticas Abstract data types Automation DynAlloy Program analysis Programación Software abstracción por predicados análisis de especificaciones aplicación web caso de estudio herramientas tecnológicas

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...