Mostrando
1 - 4
Resultados de
4
Para Buscar '
Cardiff, Brian J.
'
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
Autor
Cardiff, Brian J.
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Cardiff, Brian J.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
por
Cardiff
,
Brian
J
.
Publicado 2010
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis de grado
publishedVersion
Agregar a favoritos
Guardado en:
2
Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
por
Cardiff
,
Brian
J
.
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de Grado
Agregar a favoritos
Guardado en:
3
Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
por
Cardiff
,
Brian
J
.
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de grado
publishedVersion
Agregar a favoritos
Guardado en:
4
Towards abstraction for DynAlloy specifications
por
Frias, Marcelo
,
Cardiff
,
Brian
J
.
,
Galeotti, Juan Pablo
Publicado 2008
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Abstracting
Atomic actions
Case studies
Computer software
Computer software reusability
Dynamic logics
Final states
Formal methods
Intermediate states
JAVA programs
Java programming language
Model checking
Operational units
Partial correctnesses
Predicate abstractions
Program translators
SAT solvers
Software engineering
Specifications
Cargando...