Programación Funcional Verificada en Agda - Verified Functional Programming in Agda
Agda es un lenguaje de programación avanzado basado en la Teoría de...
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)
