Utilisateur:JulienCo

Un livre de Wikilivres.

Bonjour,

je suis enseignant-chercheur à l'université de Nantes. Je suis impliqué dans des enseignements de programmation impérative ou fonctionnelle, d'algorithmique et structures de données, de langages de programmation, de sémantique des langages et preuve de programmes (correction, terminaison) et de génie logiciel (spécification formelle, test).