Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2002 |
| País: | Uruguay |
| Recursos: | Universidad de la República |
| Repositorio: | COLIBRI |
| Idioma: | español |
| OAI Identifier: | oai:colibri.udelar.edu.uy:20.500.12008/2920 |
| Acesso em linha: | http://hdl.handle.net/20.500.12008/2920 |
| Access Level: | acceso abierto |
| Palavra-chave: | UNIX-COMPATIBILIDAD SISTEMAS OPERATIVOS |
| Descrição não disponível. |