Buscar por Sustentante Carrillo Verduzco, Diego
Mostrando resultados 2 a 2 de 2
< Anterior
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Verificación formal y programación certificada en COQ con Program : un ejemplo práctico | Carrillo Verduzco, Diego | 2020 |