Mostrando
1 - 2
Resultados de
2
Para Buscar '
Tapicer, Jonathan
'
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, Jonathan
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Tapicer, Jonathan
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Resource usage contracts for .NET
por
Tapicer
,
Jonathan
,
Garbervetsky, Diego
,
Rouaux, Martín
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
2
On verifying resource contracts using code contracts
por
Garbervetsky, Diego
,
Tapicer
,
Jonathan
,
Galeotti, Juan Pablo
Publicado 2014
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
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...