Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/2920
Cómo citar
| Título: | Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis |
| Autor: | Cristiá, Maximiliano |
| Tutor: | Giménez, Eduardo Szasz, Nora |
| Tipo: | Tesis de maestría |
| Palabras clave: | UNIX-COMPATIBILIDAD, SISTEMAS OPERATIVOS |
| Fecha de publicación: | 2002 |
| Editorial: | UR. FI-INCO, |
| Citación: | CRISTIÁ, M. "Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA, 2002. |
| Título Obtenido: | Magíster en Informática |
| Facultad o Servicio que otorga el Título: | Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA |
| Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Aparece en las colecciones: | Tesis de posgrado - Instituto de Computación |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| tesis-cristia.pdf | 851,59 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
