Verificación en tiempo de ejecución con Streams

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Guardado en:

Detalles Bibliográficos
Autor principal:	Romero, Santiago Gabriel
Otros Autores:	Sánchez, César
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Software Program verification Verificación de sistemas Especificación Monitoreo Verificación de programas Programa recursivo Decibilidad
Acceso en línea:	http://hdl.handle.net/11086/35
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R141-11086-35
record_format	dspace
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	Software Program verification Verificación de sistemas Especificación Monitoreo Verificación de programas Programa recursivo Decibilidad
spellingShingle	Software Program verification Verificación de sistemas Especificación Monitoreo Verificación de programas Programa recursivo Decibilidad Romero, Santiago Gabriel Verificación en tiempo de ejecución con Streams
topic_facet	Software Program verification Verificación de sistemas Especificación Monitoreo Verificación de programas Programa recursivo Decibilidad
description	Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
author2	Sánchez, César
author_facet	Sánchez, César Romero, Santiago Gabriel
format	bachelorThesis
author	Romero, Santiago Gabriel
author_sort	Romero, Santiago Gabriel
title	Verificación en tiempo de ejecución con Streams
title_short	Verificación en tiempo de ejecución con Streams
title_full	Verificación en tiempo de ejecución con Streams
title_fullStr	Verificación en tiempo de ejecución con Streams
title_full_unstemmed	Verificación en tiempo de ejecución con Streams
title_sort	verificación en tiempo de ejecución con streams
publishDate	2011
url	http://hdl.handle.net/11086/35
work_keys_str_mv	AT romerosantiagogabriel verificacionentiempodeejecucionconstreams
bdutipo_str	Repositorios
_version_	1764820393060728836

Verificación en tiempo de ejecución con Streams

Ejemplares similares