Mostrando
1 - 3
Resultados de
3
Para Buscar '
Tapicer, 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
Tapicer, J.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Tapicer, J.
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Resource usage contracts for .NET
por
Tapicer
,
J
.
Publicado 2011
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Central Dr. Luis F. Leloir (FCEN)
Registro en Scopus
DOI
Handle
Registro en la Biblioteca Digital
Acta de conferencia
Capítulo de libro
Agregar a favoritos
Guardado en:
2
Resource usage contracts for .NET
por
Tapicer
,
J
.
,
Garbervetsky, D.
,
Rouaux, M.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
3
On verifying resource contracts using code contracts
por
Castaño, R.
,
Garbervetsky, D.
,
Tapicer
,
J
.
,
Zoppi, E.
,
Galeotti, J.P.
,
Ribeiro L.
,
Aguirre N.
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
Materias Relacionadas
Memory consumption
Points-to analysis
Resource usage
Build time
Codes (symbols)
Computational linguistics
Dynamic memory
Formal methods
Memory manager
Modular analysis
ON dynamics
Proof of concept
Resource consumption
Resource usage annotations
Specification and verification
Specification languages
Specifications
Static analyzers
Static verification
Visual studios
Cargando...