english Icono del idioma   español Icono del idioma  

Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/2920 Cómo citar
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorGiménez, Eduardoes
dc.contributor.advisorSzasz, Noraes
dc.contributor.authorCristiá, Maximilianoes
dc.date.accessioned2014-11-24T22:35:35Z-
dc.date.available2014-11-24T22:35:35Z-
dc.date.issued2002es
dc.date.submitted20141202es
dc.identifier.citationCRISTIÁ, 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.es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/2920-
dc.format.extent142 p.es
dc.format.mimetypeapplication/pdfes
dc.languageeses
dc.publisherUR. FI-INCO,es
dc.rightsLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)es
dc.subjectUNIX-COMPATIBILIDADes
dc.subjectSISTEMAS OPERATIVOSes
dc.titleVerificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesises
dc.typeTesis de maestríaes
thesis.degree.grantorUniversidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBAes
thesis.degree.nameMagíster en Informáticaes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Aparece en las colecciones: Tesis de posgrado - Instituto de Computación

Ficheros en este ítem:
Fichero Descripción Tamaño Formato   
tesis-cristia.pdf851,59 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons