Verificación en tiempo de ejecución con Streams
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:
| Autor principal: | Romero, Santiago Gabriel |
|---|---|
| Otros Autores: | Sánchez, César |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/35 |
| Aporte de: |
Ejemplares similares
-
Verificación en tiempo de ejecución con Streams
por: Romero, Santiago Gabriel.
Publicado: (2011) -
Verificación formal y refinamientos en P/PML
por: Díaz, Javier Roberto
Publicado: (2001) -
Verificación formal de código binario
por: Arch, David Daniel
Publicado: (2016) -
Verificación formal de código binario
por: Arch, David Daniel
Publicado: (2016) -
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011)