Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/20.500.12008/2920

Título:

Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis

Otros títulos:

Coordinador:

Director:

Compilador:

Autor:

Cristiá, Maximiliano

Tutor:

Giménez, Eduardo
Szasz, Nora

Tipo de documento:

Tesis de maestría

Editor:

Palabras clave:

UNIX-COMPATIBILIDAD
SISTEMAS OPERATIVOS

Descriptores:

Año de publicación:

2002

Contenido:

Resumen:

Descripción:

Editorial:

UR. FI-INCO,

EN:

Financiadores:

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.

Citación:

metadata.cc.license.name:

Documento del Gobiberno:

URI:

http://hdl.handle.net/20.500.12008/2920

ISBN:

e-ISBN:

ISSN:

ISMN:

Otros identificadores:

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)

Cobertura geográfica:

Cobertura temporal:

metadata.dc.relation.IsVersionOf:

Clasificación:

Es versión de:

Colecciones:

Tesis de posgrado
FicherosDescripciónTamañoFormato
tesis-cristia.pdf — 851.59 KB Adobe PDF
Mostrar el registro Dublin Core completo del ítem