Verificación de algoritmos concurrentes

Detalles Bibliográficos
Autor principal:	Sandoval Grajeda, Israel
Otras Contribuciones:	Benítez-Pérez, Héctor (Asesor)
Formato:	Tesis de maestría
Publicado:	MX 2016
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000742265 http://132.248.9.195/ptd2016/marzo/0742265/Index.html

Descripción
Descripción no disponible.

Ejemplares similares