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

Saved in:
Bibliografiske detaljer
Hovedforfatter: Cristiá, Maximiliano (author)
Format: masterThesis
Sprog:spansk
Udgivet: 2002
Fag:
Online adgang:http://hdl.handle.net/20.500.12008/2920
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
_version_ 1868890094111293440
author Cristiá, Maximiliano
author_browse Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
author_role author
collection COLIBRI
dc.creator.none.fl_str_mv Cristiá, Maximiliano
dc.date.none.fl_str_mv 2002
2014-11-24T22:35:35Z
2014-11-24T22:35:35Z
20141202
dc.format.none.fl_str_mv 142 p.
application/pdf
dc.identifier.none.fl_str_mv 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.
http://hdl.handle.net/20.500.12008/2920
dc.language.none.fl_str_mv es
spa
dc.publisher.none.fl_str_mv UR. FI-INCO,
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
dc.source.none.fl_str_mv reponame:COLIBRI
instname:Universidad de la República
instacron:Universidad de la República
dc.subject.none.fl_str_mv UNIX-COMPATIBILIDAD
SISTEMAS OPERATIVOS
dc.title.none.fl_str_mv Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
dc.type.none.fl_str_mv Tesis de maestría
info:eu-repo/semantics/masterThesis
info:eu-repo/semantics/acceptedVersion
eu_rights_str_mv openAccess
format masterThesis
id anni_71637debcf7738a9f4e4c3eec2d5a9a6
identifier_str_mv 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.
instacron_str Universidad de la República
institution Universidad de la República
instname_str Universidad de la República
language spa
language_invalid_str_mv es
network_acronym_str anni
network_name_str oai-lr-anni
oai_identifier_str oai:colibri.udelar.edu.uy:20.500.12008/2920
publishDate 2002
publishDateSort 2002
publisher.none.fl_str_mv UR. FI-INCO,
reponame_str COLIBRI
repository.mail.fl_str_mv
repository.name.fl_str_mv
repository_id_str
rights_invalid_str_mv Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
spelling Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master ThesisCristiá, MaximilianoUNIX-COMPATIBILIDADSISTEMAS OPERATIVOSUR. FI-INCO,2014-11-24T22:35:35Z2014-11-24T22:35:35Z200220141202Tesis de maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersion142 p.application/pdfCRISTIÁ, 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.http://hdl.handle.net/20.500.12008/2920reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaesspaLas 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)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/29202026-04-14T10:27:49Z
spellingShingle Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Cristiá, Maximiliano
UNIX-COMPATIBILIDAD
SISTEMAS OPERATIVOS
status_str acceptedVersion
title Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
title_full Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
title_fullStr Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
title_full_unstemmed Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
title_short Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
title_sort Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
topic UNIX-COMPATIBILIDAD
SISTEMAS OPERATIVOS
url http://hdl.handle.net/20.500.12008/2920