Lógica de Hoare para programación funcional

Detalles Bibliográficos
Autor principal:	López García, Gilberto Isaac
Otras Contribuciones:	González Huesca, Lourdes del Carmen (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 2021
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000811756 http://132.248.9.195/ptd2021/mayo/0811756/Index.html

Ejemplares similares