Réseau 3R > Privé : News > Uncategorized > Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala (Colección de Lenguajes de Próxima Generación nº 43) – eBook (PDF)

Besoin d'une prestation en robotique industrielle ? Devenir partenaire ?

Contact