Use el DOI o este identificador para enlazar este recurso:
https://hdl.handle.net/20.500.14330/TES01000742265
Sustentante: | Sandoval Grajeda, Israel |
Asesor(es) : | Benítez-Pérez, Héctor |
Título : | Verificación de algoritmos concurrentes |
Fecha de publicación : | 2016 |
Páginas: | 1 recurso en línea (141 páginas) : |
Formato: | application/pdf |
Medio: | computadora |
Soporte: | recurso en línea |
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 |
Institución : | Universidad Nacional Autónoma de México |
Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
URI : | https://hdl.handle.net/20.500.14330/TES01000742265 |
Fuente TESIUNAM: | http://132.248.9.195/ptd2016/marzo/0742265/Index.html |
Aparece en las colecciones: | Tesis de maestría |
Texto completo:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
000742265.mrc | Registro bibliográfico en formato MARC | 1.34 kB | MARC | Visualizar/Abrir |
0742265.pdf | Texto Completo | 924.36 kB | Adobe PDF | Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons