Use el DOI o este identificador para enlazar este recurso:
http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000735137| Autor: | Medina Díaz, Roberto Azrael |
| Asesor(es) : | Oktaba, Hanna |
| Título : | Especificación de esquema informático para métodos y prácticas de kuali-beh para facilitar la verificación semiautomatizada de sus características y propiedades |
| Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
| Fecha de publicación : | 2015 |
| URI : | http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000735137 |
| URL: | http://132.248.9.195/ptd2015/septiembre/0735137/Index.html |
| Páginas: | 1 recurso en línea (94 páginas) |
| Grado : | Maestría en Ciencia e Ingeniería de la Computación |
| Escuela o Facultad : | Programa de Posgrado en Ciencia e Ingeniería de la Computación |
| Aparece en las colecciones: | Tesis de Maestría |
Texto completo:
| Archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 000735137.mrc | Registro bibliográfico en formato MARC | 1.47 kB | Unknown | Visualizar/Abrir |
| 0735137.pdf | Texto Completo | 2.2 MB | Adobe PDF |  Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons
