Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | masterThesis |
| Sprog: | spansk |
| Udgivet: |
2002
|
| Fag: | |
| Online adgang: | http://hdl.handle.net/20.500.12008/2920 |
| Tags: |
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 |