Tesis de Grado -

Navegar

Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Lista de

a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z

Garbervetsky, Diego David

20

2010

5

Bendersky, Pablo Gabriel. (2010). "Hacia un entorno integrado para la verificación de contratos utilizando SAT solvers". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Benavides, Fernando. (2010). "Lambda page : un bloc de notas para desarrolladores Haskell". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Tcach Lufrano, Alexis Guido. (2010). "Simulation of Contracts using enabledness-preserving Finite State Abstraction". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Grynberg Portnoy, Matías; Krasny, Gastón. (2010). "Un análisis composicional para la inferencia de resúmenes de consumo de memoria". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Neisen, Ariel Martín. (2010). "Verificación automática de estructuras de datos acíclicas usando demostradores de teoremas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274

Biblioteca Campus Virtual Trámites Intranet Webmail Contacto UBA