Mostrando
1 - 2
Resultados de
2
Para Buscar '
"Engineering"
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Restablecer filtros
Materias:
Abstracting
Y
Behaviour models
Y
Software engineering
Restablecer filtros
Mostrar filtros (3)
Materias:
Abstracting
Y
Behaviour models
Y
Software engineering
Resultados de búsqueda - "Engineering"
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Admissible sequences
2
Behaviour models
Level of abstraction
2
Non-trivial
2
Software engineering
Source codes
2
automated abstraction
2
behaviour model synthesis
2
source code validation
2
Mostrando
1 - 2
Resultados de
2
Para Buscar '
"Engineering"
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Program abstractions for behaviour validation
por
de Caso, Guido
,
Braberman, Víctor Adrián
,
Garbervetsky, Diego
Publicado 2011
Materias:
“
...Software
engineering
...
”
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
2
Program abstractions for behaviour validation
por
De Caso, G.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Materias:
“
...Software
engineering
...
”
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
—
Guardar Búsqueda
Atrás
Refine su búsqueda
Institución
Universidad de Buenos Aires
2
Colecciones
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
2
Formato
CONF
1
Autor
Braberman, V.
1
Braberman, Víctor Adrián
1
De Caso, G.
1
Garbervetsky, D.
1
Garbervetsky, Diego
1
Uchitel, S.
1
de Caso, Guido
1
ver todos ...
Año de Publicación
De:
a:
Cargando...